ScalableMath
/

Lean-STaR-plus

Feature Extraction

Model card Files Files and versions Community

1 contributor

History: 3 commits

Noogal's picture

Upload README.md

7b5bbcc verified 4 months ago