Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
ScalableMath
/
Lean-STaR-base
like
0
Follow
ScalableMath
13
Feature Extraction
Transformers
Safetensors
internlm2
custom_code
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
96cd2c7
Lean-STaR-base
/
.gitattributes
Commit History
initial commit
96cd2c7
verified
Noogal
commited on
Jul 12, 2024
Noogal commited on 
