ScalableMath
/

Lean-STaR-base

Feature Extraction

Model card Files Files and versions Community

No model card

New: Create and edit this model card directly on the website!

Contribute a Model Card

Downloads last month: 0

Safetensors

Model size

7.74B params

Tensor type

BF16

·

Inference Examples

Feature Extraction

Inference API (serverless) is not available, repository is disabled.

Collection including ScalableMath/Lean-STaR-base

Lean-STaR

8 items • Updated Jul 13 • 1