Edit Models filters

Model Tree

Apps

Docker Model Runner

Unsloth Desktop

Inference Providers

OVHcloud AI Endpoints

HF Inference API

One-click Deployment

Inference Endpoints

Microsoft Foundry

Amazon SageMaker AI

Misc

theorem-proving

text-generation-inference

Eval Results (legacy)

text-embeddings-inference

4-bit precision

8-bit precision

Mixture of Experts

Carbon Emissions

Models

96

Base only

Active filters: theorem-proving

ChristianZ97/satp-policy-v2

Reinforcement Learning • Updated Jul 26

SEBK4C/LEANSTRAL-WHITEDWARF

119B • Updated Jul 10 • 118

kamiyugi/Leanstral-1.5-119B-A6B-NVFP4A16

Text Generation • Updated Jul 8 • 6 • 1

fieldsmodelorg/FM-Pochi-32B-IMO26

Text Generation • Updated 19 days ago

ChristianZ97/satp-policy-v2-alphaproof

Reinforcement Learning • Updated Jul 21 • 1

deadbydawn101/RavenX-Conjecture-Qwen3-8B-MLX

Text Generation • 8B • Updated Jul 23 • 48

deadbydawn101/RavenX-Conjecture-Qwen3-8B-GGUF

Text Generation • 8B • Updated Jul 23 • 64

ChristianZ97/satp-policy-v4.27

Reinforcement Learning • Updated Aug 22

ruobingzuo66/NSPI-SoS-Structure-Conjecturer-rl

Text Generation • 8B • Updated Aug 6 • 92 • 1

FluffyAIcode/Kakeya-OProver-Stage1-SFT90

Text Generation • Updated Aug 8 • 6

FluffyAIcode/Kakeya-OProver-Stage2-SFT1000

Text Generation • Updated Aug 8 • 6

FluffyAIcode/Kakeya-OProver-Stage3-DPO

Text Generation • Updated Aug 8 • 5

FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT

Text Generation • Updated Aug 8 • 6

juihuichung/awakening-goedel-v2-32b-sft

Text Generation • 33B • Updated Aug 10 • 139

juihuichung/awakening-goedel-v2-32b-rl

Text Generation • 33B • Updated Aug 10 • 134

mradermacher/awakening-goedel-v2-32b-sft-GGUF

33B • Updated Aug 12 • 268 • 1

Pradheep1647/qwen2.5-coder-1.5b-lean-repository-midtraining

Text Generation • Updated Aug 16 • 10

murillo2000/qwen3-8b-base-lean-sft-qlora

Text Generation • Updated Aug 17 • 9

JanosMozer/qwen-lean4-formaliser-vLoRA

Text Generation • Updated Aug 19 • 9

JanosMozer/qwen-lean4-formaliser-vDoRA

Text Generation • Updated Aug 19 • 6

introvoyz042/OProver-32B

Text Generation • 33B • Updated 24 days ago • 360

introvoyz042/OProver-8B

Text Generation • 8B • Updated 24 days ago • 387

Snapkitty/snapkitty-papers

Updated 20 days ago

alpha-proof-open-source/alphaproof-full-v3-value-head

Updated 17 days ago • 1

zhezi12138/Qwen3-4B-formal-r1-RL-50iter-seed42

Reinforcement Learning • 4B • Updated 15 days ago • 24

jajostrains/Mathlib-Sexpr-GNN

Updated 9 days ago

tinyopsec/Pythagoras-Prover-4B-GGUF

Text Generation • 4B • Updated 9 days ago • 2.26k • 1

anonymous-submission-ICLR2027/Gobble-Prover-1.7B

Text Generation • 2B • Updated 3 days ago • 283

theostos/qwen-3.5-babel-0.8b-sft

Text Generation • 0.8B • Updated 3 days ago • 221

theostos/qwen-3.5-babel-2b-sft

Text Generation • 2B • Updated 3 days ago • 234