Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
ScalableMath
/
Lean-STaR-plus
like
2
Follow
ScalableMath
13
Feature Extraction
Transformers
Safetensors
internlm2
custom_code
Model card
Files
Files and versions
xet
Community
Train
Deploy
Use this model
main
Lean-STaR-plus
/
README.md
Commit History
Upload README.md
7b5bbcc
verified
Noogal
commited on
Jul 14, 2024
Noogal
commited on
