Edit Models filters

Model Tree

Apps

Docker Model Runner

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

77

Base only

Active filters: theorem-proving

vincentoh/kimina-prover-rrma-sft

Updated Jun 6 • 2

ChristianZ97/satp-policy-v2

Reinforcement Learning • Updated 19 days ago

SEBK4C/LEANSTRAL-WHITEDWARF

119B • Updated Jul 10 • 67

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

Text Generation • Updated Jul 8 • 15 • 1

fieldsmodelorg/Olmo-3.1-32B-Think-OPD-IMO

Text Generation • Updated 4 days ago

ChristianZ97/satp-policy-v2-alphaproof

Reinforcement Learning • Updated 24 days ago • 1

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

Text Generation • 1B • Updated 22 days ago • 107

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

Text Generation • 8B • Updated 22 days ago • 211

ChristianZ97/satp-policy-v4.27

Reinforcement Learning • Updated about 12 hours ago

ruobingzuo66/NSPI-SoS-Structure-Conjecturer-rl

Text Generation • 8B • Updated 8 days ago • 515 • 1

FluffyAIcode/Kakeya-OProver-Stage1-SFT90

Text Generation • Updated 6 days ago • 15

FluffyAIcode/Kakeya-OProver-Stage2-SFT1000

Text Generation • Updated 6 days ago • 21

FluffyAIcode/Kakeya-OProver-Stage3-DPO

Text Generation • Updated 6 days ago • 15

FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT

Text Generation • Updated 6 days ago • 16

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

Text Generation • 33B • Updated 3 days ago • 569

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

Text Generation • 33B • Updated 3 days ago • 565

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

33B • Updated 2 days ago • 1