Models

ByteDance-Seed/BFS-Prover-V1-7B

Text Generation • 8B • Updated Oct 14 • 285 • • 22

mradermacher/BFS-Prover-GGUF

8B • Updated Oct 12 • 222

purewhite42/dependency_retriever_f

Sentence Similarity • 0.6B • Updated Feb 26 • 1

purewhite42/dependency_retriever_f_if

Sentence Similarity • 0.6B • Updated Feb 26 • 2

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 • 6

purewhite42/rautoformalizer_gtra_internlm

Text Generation • Updated May 20 • 3

purewhite42/rautoformalizer_nora_deepseek

Text Generation • Updated May 20

purewhite42/rautoformalizer_nora_internlm

Text Generation • Updated May 20 • 6

purewhite42/rautoformalizer_ra_deepseek

Text Generation • Updated May 20 • 4

purewhite42/rautoformalizer_ra_internlm

Text Generation • Updated May 20 • 15

QuantFactory/BFS-Prover-GGUF

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

tensorblock/BFS-Prover-GGUF

Text Generation • 8B • Updated Jul 9 • 197

NJUDeepEngine/llm_based_atp

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

FrenzyMath/REAL-Prover

Text Generation • 8B • Updated Jul 17 • 11

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

Sentence Similarity • Updated Aug 9

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

Text Generation • Updated Sep 8

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

Text Generation • Updated Sep 9

rkumar1999/DeepSeek-V2-Lite-Chat-mix-logic-prover

Text Generation • Updated Sep 19

ByteDance-Seed/BFS-Prover-V2-32B

Text Generation • 33B • Updated Oct 9 • 109 • 10

mradermacher/BFS-Prover-V2-32B-GGUF

33B • Updated Oct 1 • 197

mradermacher/BFS-Prover-V2-32B-i1-GGUF

33B • Updated Oct 1 • 193

ByteDance-Seed/BFS-Prover-V2-7B

Text Generation • 8B • Updated Oct 9 • 204 • 5

mradermacher/BFS-Prover-V2-7B-GGUF

8B • Updated Oct 7 • 89

mradermacher/BFS-Prover-V2-7B-i1-GGUF

8B • Updated Oct 7 • 109

ArtusDev/ByteDance-Seed_BFS-Prover-V2-7B-EXL3

Text Generation • Updated Oct 13 • 5

ArtusDev/ByteDance-Seed_BFS-Prover-V2-32B-EXL3

Text Generation • Updated Oct 13 • 6

mradermacher/BFS-Prover-V1-7B-GGUF

8B • Updated Oct 15 • 40

mradermacher/BFS-Prover-V1-7B-i1-GGUF

8B • Updated Oct 15 • 218