ScalableMath
/

Lean-CoT-plus

Feature Extraction

Model card Files Files and versions Community

Lean-CoT-plus / model-00004-of-00004.safetensors

Commit History

first commit

2b16d32

Noogal commited on Jul 12