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