ScalableMath
/

Lean-STaR-plus

Feature Extraction

Model card Files Files and versions Community

Commit History

Upload README.md

7b5bbcc
verified

Noogal commited on Jul 14

first commit

082c2e0

Noogal commited on Jul 12

initial commit

e73d23e
verified

Noogal commited on Jul 12