the-hir0
/

ILM-lean-prover

Model card Files Files and versions

README.md exists but content is empty.

Downloads last month: 7

Safetensors

Model size

7.74B params

Tensor type

BF16

·

Inference Providers NEW

This model isn't deployed by any Inference Provider. 🙋 Ask for provider support

Model tree for the-hir0/ILM-lean-prover

Quantizations

1 model