Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
ScalableMath
/
Lean-STaR-base
like
0
Feature Extraction
Transformers
Safetensors
internlm2
custom_code
Model card
Files
Files and versions
Community
Train
Use this model
main
Lean-STaR-base
/
configuration_internlm2.py
Commit History
first commit
1edf2ba
Noogal
commited on
4 days ago
Noogal
commited on
