internlm/internlm2_5-step-prover
Text Generation • Updated • 829 • 5
Edit Models filters
Model Tree
Apps
Inference Providers
Models
28
Active filters: internlm/Lean-Workbook
internlm/internlm2_5-step-prover-critic
Text Generation • Updated • 95.2k • 6
tensorblock/internlm2_5-step-prover-GGUF
Text Generation • 8B • Updated • 32
yulan-team/YuLan-Mini
Text Generation • 2B • Updated • 17 • 38
KnutJaegersberg/YuLan-Mini-Q8_0-GGUF
2B • Updated • 4
NikolayKozloff/YuLan-Mini-Q8_0-GGUF
2B • Updated • 8 • 1
bartowski/YuLan-Mini-GGUF
Text Generation • 2B • Updated • 979 • 5
mradermacher/YuLan-Mini-GGUF
2B • Updated • 519
matrixportalx/YuLan-Mini-Q4_0-GGUF
Text Generation • 2B • Updated • 4
matrixportalx/YuLan-Mini-Q8_0-GGUF
Text Generation • 2B • Updated • 17
QuantFactory/YuLan-Mini-GGUF
Text Generation • 2B • Updated • 352 • 2
itlwas/YuLan-Mini-Q4_K_M-GGUF
Text Generation • 2B • Updated • 16
kfdong/STP_model_Lean
Text Generation • 7B • Updated • 77 • 3
ByteDance-Seed/BFS-Prover-V1-7B
Text Generation • 8B • Updated • 164 • • 26
mradermacher/BFS-Prover-GGUF
8B • Updated • 221 • 1
QuantFactory/BFS-Prover-GGUF
Text Generation • 8B • Updated • 207 • 1
tensorblock/BFS-Prover-GGUF
Text Generation • 8B • Updated • 54
tensorblock/YuLan-Mini-GGUF
Text Generation • 2B • Updated • 90 • 1
kfdong/STP_model_Lean_0320
Text Generation • 7B • Updated • 9
IvanHU/YuLan-Mini-4bit
Text Generation • 0.4B • Updated • 3
NJUDeepEngine/llm_based_atp
Text Generation • 8B • Updated • 7 • 1
mradermacher/BFS-Prover-V1-7B-GGUF
8B • Updated • 146
mradermacher/BFS-Prover-V1-7B-i1-GGUF
8B • Updated • 362
Edge-Quant/YuLan-Mini-Q4_K_M-GGUF
Text Generation • 2B • Updated • 13
diskrot/YuLan-Mini-diskrot
Text Generation • 2B • Updated • 8
diskrot/YuLan-Mini-GGUF-diskrot
Text Generation • 2B • Updated • 292
WithinUsAI/Agent.Nano.Coder-2B-gguf
2B • Updated • 323 • 3
NJUDeepEngine/SEG-ATP
Text Generation • Updated