Edit Models filters

Inference Providers

HF Inference API

Misc

Inference Endpoints

text-generation-inference

4-bit precision

8-bit precision

text-embeddings-inference

Mixture of Experts

Carbon Emissions

Models

19

Full-text search

Active filters: lean4

ByteDance-Seed/BFS-Prover

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

mradermacher/BFS-Prover-GGUF

8B • Updated Apr 29 • 93

purewhite42/dependency_retriever_f

Sentence Similarity • 0.6B • Updated Feb 26 • 6

purewhite42/dependency_retriever_f_if

Sentence Similarity • 0.6B • Updated Feb 26 • 4

purewhite42/bm25_f

Sentence Similarity • Updated Feb 26

purewhite42/bm25_f_if

Sentence Similarity • Updated Feb 26

purewhite42/rautoformalizer_gtra_deepseek

Text Generation • Updated May 20 • 10

purewhite42/rautoformalizer_gtra_internlm

Text Generation • Updated May 20 • 10

purewhite42/rautoformalizer_nora_deepseek

Text Generation • Updated May 20 • 11

purewhite42/rautoformalizer_nora_internlm

Text Generation • Updated May 20 • 9

purewhite42/rautoformalizer_ra_deepseek

Text Generation • Updated May 20 • 10

purewhite42/rautoformalizer_ra_internlm

Text Generation • Updated May 20 • 8

QuantFactory/BFS-Prover-GGUF

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

tensorblock/BFS-Prover-GGUF

Text Generation • 8B • Updated Jul 9 • 87

NJUDeepEngine/llm_based_atp

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

FrenzyMath/REAL-Prover

Text Generation • 8B • Updated Jul 17 • 14

Isaac74/qwen3-0.6b-lightweight-semantic-mathlib-search-adapter

Sentence Similarity • Updated about 1 month ago • 1

rkumar1999/gpt-oss-20b-deepseek-prover

Text Generation • Updated 1 day ago

rkumar1999/DeepSeek-V2-Lite-Chat-deepseek-prover

Text Generation • Updated about 2 hours ago