No model card

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