Edit Models filters

Apps

Docker Model Runner

Inference Providers

OVHcloud AI Endpoints

HF Inference API

Misc

Inference Endpoints

text-generation-inference

Eval Results (legacy)

text-embeddings-inference

4-bit precision

8-bit precision

Mixture of Experts

Carbon Emissions

Models

40

Full-text search

Active filters: lean4

richardyoung/bfs-prover-v2-32b

Text Generation • 33B • Updated Nov 26, 2025 • 9

purewhite42/HAR_CoPA_Cycle1

Text Generation • Updated Oct 28, 2025 • 13

purewhite42/HAR_CoPA_Cycle2

Text Generation • Updated Oct 28, 2025 • 8

purewhite42/WG_CoPA_Cycle1

Text Generation • Updated Oct 28, 2025 • 10

purewhite42/HWG_CoPA_Cycle1

Text Generation • Updated Oct 28, 2025 • 7

purewhite42/AR_CoPA_Cycle1

Text Generation • Updated Oct 28, 2025 • 12

Minhdn/deepseek-prover-sinq-4bit

Text Generation • 4B • Updated Nov 14, 2025 • 3

chenyili818/BFS-Prover

Text Generation • 2B • Updated Dec 31, 2025 • 1

imbue2025/RWKV-7-Prover-1.5b

Updated 10 days ago • 3

ChristianZ97/SATP-aesop-policy

Reinforcement Learning • Updated about 19 hours ago