Inference Providers
Active filters: lean4
ByteDance-Seed/BFS-Prover-V1-7B
Text Generation
• 8B • Updated • 146
• • 26
mradermacher/BFS-Prover-GGUF
8B • Updated • 209
• 1
purewhite42/dependency_retriever_f
Sentence Similarity
• 0.6B • Updated • 8
purewhite42/dependency_retriever_f_if
Sentence Similarity
• 0.6B • Updated • 12
Sentence Similarity
• Updated Sentence Similarity
• Updated purewhite42/rautoformalizer_gtra_deepseek
Text Generation
• Updated • 8
purewhite42/rautoformalizer_gtra_internlm
Text Generation
• Updated • 6
purewhite42/rautoformalizer_nora_deepseek
Text Generation
• Updated • 7
purewhite42/rautoformalizer_nora_internlm
Text Generation
• Updated • 5
purewhite42/rautoformalizer_ra_deepseek
Text Generation
• Updated • 7
purewhite42/rautoformalizer_ra_internlm
Text Generation
• Updated • 2
QuantFactory/BFS-Prover-GGUF
Text Generation
• 8B • Updated • 193
• 1
tensorblock/BFS-Prover-GGUF
Text Generation
• 8B • Updated • 43
NJUDeepEngine/llm_based_atp
Text Generation
• 8B • Updated • 6
• 1
Text Generation
• 8B • Updated • 12
• Isaac74/qwen3-0.6b-lightweight-semantic-mathlib-search-adapter
Sentence Similarity
• Updated rkumar1999/gpt-oss-20b-deepseek-prover
Text Generation
• Updated rkumar1999/DeepSeek-V2-Lite-Chat-deepseek-prover
Text Generation
• Updated rkumar1999/DeepSeek-V2-Lite-Chat-mix-logic-prover
Text Generation
• Updated ByteDance-Seed/BFS-Prover-V2-32B
Text Generation
• 33B • Updated • 222
• • 13
mradermacher/BFS-Prover-V2-32B-GGUF
33B • Updated • 68
mradermacher/BFS-Prover-V2-32B-i1-GGUF
33B • Updated • 232
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation
• 8B • Updated • 575
• • 7
mradermacher/BFS-Prover-V2-7B-GGUF
8B • Updated • 103
mradermacher/BFS-Prover-V2-7B-i1-GGUF
8B • Updated • 306
ArtusDev/ByteDance-Seed_BFS-Prover-V2-7B-EXL3
Text Generation
• Updated • 1
ArtusDev/ByteDance-Seed_BFS-Prover-V2-32B-EXL3
Text Generation
• Updated mradermacher/BFS-Prover-V1-7B-GGUF
8B • Updated • 180
mradermacher/BFS-Prover-V1-7B-i1-GGUF
8B • Updated • 366