Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
ScalableMath
/
Lean-STaR-base
like
0
Follow
ScalableMath
11
Feature Extraction
Transformers
Safetensors
internlm2
custom_code
Model card
Files
Files and versions
Community
Train
Use this model
No model card
New: Create and edit this model card directly on the website!
Contribute a Model Card
Downloads last month
1
Safetensors
Model size
7.74B params
Tensor type
BF16
·
Inference Examples
Feature Extraction
Inference API (serverless) does not yet support model repos that contain custom code.
Collection including
ScalableMath/Lean-STaR-base
Lean-STaR
Collection
8 items
•
Updated
Jul 13
•
1