ScalableMath
/

Lean-STaR-base

Feature Extraction

Model card Files Files and versions Community

Lean-STaR-base / model-00002-of-00004.safetensors

Commit History

first commit

1edf2ba

Noogal commited on 4 days ago