Models

99 public models

Sort Pipeline Library License Tag Search

Reset

Caldalis MiniCPM5-2B-Math

text-generation transformers apache-2.0

88 downloads 2 likes

viai957 Goedel-Prover-V2-8B-EI-campaign1-r3

text-generation transformers apache-2.0

294 downloads 1 likes

AI999X algebra-ai999x

sentence-similarity algebra-ai999x apache-2.0

56 downloads 1 likes

Caldalis MiniCPM5-2B-Math-GGUF

text-generation gguf apache-2.0

9.5K downloads 3 likes

deadbydawn101 RavenX-Conjecture-Qwen3-8B-MLX

text-generation mlx apache-2.0

5.4K downloads 0 likes

mradermacher BFS-Prover-V1-7B-i1-GGUF

transformers apache-2.0

1.1K downloads 0 likes

EPFL-LARA lean-feedback-qwen3-4b

text-generation transformers other

943 downloads 0 likes

mradermacher OProver-32B-GGUF

transformers apache-2.0

781 downloads 0 likes

EPFL-LARA lean-standard-prover-qwen3-8b-sft

text-generation transformers other

746 downloads 1 likes

EPFL-LARA lean-world-model-qwen3-8b-reasoning-grpo

text-generation transformers

739 downloads 0 likes

EPFL-LARA lean-world-model-qwen3-8b-grpo

text-generation transformers

737 downloads 0 likes

EPFL-LARA lean-standard-prover-qwen3-8b-reasoning-grpo

text-generation transformers

737 downloads 0 likes

EPFL-LARA lean-world-model-qwen3-8b-sft

text-generation transformers other

734 downloads 0 likes

EPFL-LARA lean-standard-prover-qwen3-8b-grpo

text-generation transformers

734 downloads 0 likes

EPFL-LARA lean-world-model-qwen3-4b-grpo

text-generation transformers

716 downloads 0 likes

mradermacher OProver-32B-Base-GGUF

transformers apache-2.0

652 downloads 0 likes