arcticoneai/xspark-X2.6-math
Text Generation • 4B • Updated • 268 • 3
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
247
Active filters: lean4
Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 47 • 12
mradermacher/Goedel-Code-Prover-8B-GGUF
8B • Updated • 750 • 1
ByteDance-Seed/BFS-Prover-V1-7B
Text Generation • 8B • Updated • 1.5k • • 26
mradermacher/BFS-Prover-GGUF
8B • Updated • 578 • 1
purewhite42/dependency_retriever_f
Sentence Similarity • 0.6B • Updated • 84
purewhite42/dependency_retriever_f_if
Sentence Similarity • 0.6B • Updated • 25
purewhite42/bm25_f
Sentence Similarity • Updated
purewhite42/bm25_f_if
Sentence Similarity • Updated
purewhite42/rautoformalizer_gtra_deepseek
Text Generation • Updated • 11
purewhite42/rautoformalizer_gtra_internlm
Text Generation • Updated • 11
purewhite42/rautoformalizer_nora_deepseek
Text Generation • Updated • 20
purewhite42/rautoformalizer_nora_internlm
Text Generation • Updated • 16
purewhite42/rautoformalizer_ra_deepseek
Text Generation • Updated • 18
purewhite42/rautoformalizer_ra_internlm
Text Generation • Updated • 15
QuantFactory/BFS-Prover-GGUF
Text Generation • 8B • Updated • 579 • 1
tensorblock/BFS-Prover-GGUF
Text Generation • 8B • Updated • 124
NJUDeepEngine/llm_based_atp
Text Generation • 8B • Updated • 18 • 1
FrenzyMath/REAL-Prover
Text Generation • 8B • Updated • 20 •
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 • 203 • 12
mradermacher/BFS-Prover-V2-32B-GGUF
33B • Updated • 245
mradermacher/BFS-Prover-V2-32B-i1-GGUF
33B • Updated • 415
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 1.85k • • 7
mradermacher/BFS-Prover-V2-7B-GGUF
8B • Updated • 1.05k
mradermacher/BFS-Prover-V2-7B-i1-GGUF
8B • Updated • 302
ArtusDev/ByteDance-Seed_BFS-Prover-V2-7B-EXL3
Text Generation • Updated • 8