No model card

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

Safetensors

Model size

7.74B params

Tensor type

BF16

Inference Examples

Inference API (serverless) does not yet support model repos that contain custom code.

Collection including ScalableMath/Lean-CoT-base