Edit Models filters

Model Tree

Apps

Docker Model Runner

Inference Providers

OVHcloud AI Endpoints

HF Inference API

Misc

theorem-proving

Inference Endpoints

text-generation-inference

Eval Results (legacy)

text-embeddings-inference

4-bit precision

8-bit precision

Mixture of Experts

Carbon Emissions

Models

64

Base only

Active filters: theorem-proving

metamatematico/Metamatematico

Text Classification • Updated 15 days ago • 140

formalmathatepfl/deepseek-prover-v2-grpo-800

Reinforcement Learning • 7B • Updated 15 days ago • 1.25k

mradermacher/Pythagoras-Prover-4B-GGUF

4B • Updated 10 days ago • 564

ChristianZ97/satp-policy-goal-meanpool

Reinforcement Learning • Updated 1 day ago