Edit Models filters

Inference Providers

HF Inference API

Misc

theorem-proving

Inference Endpoints

text-generation-inference

4-bit precision

8-bit precision

text-embeddings-inference

Mixture of Experts

Carbon Emissions

Models

14

Full-text search

Active filters: theorem-proving

amitayusht/ProofWala-Multilingual

Text Generation • Updated Feb 9 • 121

amitayusht/ProofWala-Lean

Text Generation • Updated Feb 9 • 3

amitayusht/ProofWala-Coq

Text Generation • Updated Feb 9 • 3

ByteDance-Seed/BFS-Prover

Text Generation • 8B • Updated Feb 25 • 208k • • 19

mradermacher/BFS-Prover-GGUF

8B • Updated Apr 29 • 31

QuantFactory/BFS-Prover-GGUF

Text Generation • 8B • Updated Mar 4 • 329 • 1

tensorblock/BFS-Prover-GGUF

Text Generation • 8B • Updated Jul 9 • 74

NJUDeepEngine/llm_based_atp

Text Generation • 8B • Updated Jun 23 • 6 • 1

FrenzyMath/REAL-Prover

Text Generation • 8B • Updated Jul 17 • 17

haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config

Text Generation • Updated Jul 16

haielab/STP_model_Lean_0320-conjecture-base-FineTune-new-config

Text Generation • Updated Jul 17

haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config-conjecture-base-FineTune-new-config-v2

Text Generation • Updated Jul 22

haielab/STP_model_Lean_0320-conjecture-base-FineTune-new-config-conjecture-base-FineTune-new-config-v2

Text Generation • Updated Jul 22

Chattso-GPT/DeepSeek-R1-Distill-Qwen-32B-for-lean

Text Generation • Updated 23 days ago