Edit Models filters

Inference Providers

Nebius AI Studio

HF Inference API

Misc

theorem-proving

Inference Endpoints

AutoTrain Compatible

text-generation-inference

Misc with no match

4-bit precision

8-bit precision

text-embeddings-inference

Carbon Emissions

Mixture of Experts

Models

7

Full-text search

Active filters: theorem-proving

bytedance-research/BFS-Prover

Text Generation • Updated 16 days ago • 1.14k • 13

QuantFactory/BFS-Prover-GGUF

Text Generation • Updated 9 days ago • 885 • 1

amitayusht/ProofWala-Multilingual

Text2Text Generation • Updated Feb 9 • 196

amitayusht/ProofWala-Lean

Text2Text Generation • Updated Feb 9 • 15

amitayusht/ProofWala-Coq

Text2Text Generation • Updated Feb 9 • 24

mradermacher/BFS-Prover-GGUF

Updated 17 days ago • 1.35k

tensorblock/BFS-Prover-GGUF

Text Generation • Updated 7 days ago • 112