Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
ScalableMath
/
Lean-STaR-plus
like
2
Follow
ScalableMath
11
Feature Extraction
Transformers
Safetensors
internlm2
custom_code
Model card
Files
Files and versions
Community
Train
Use this model
main
Lean-STaR-plus
/
.gitattributes
Commit History
first commit
082c2e0
Noogal
commited on
Jul 12
initial commit
e73d23e
verified
Noogal
commited on
Jul 12
Noogal
commited on
Noogal
commited on
