internlm/internlm2_5-step-prover
Text Generation • Updated • 116 • 5
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
29
Active filters: internlm/Lean-Workbook
internlm/internlm2_5-step-prover-critic
Text Generation • Updated • 101 • 6
tensorblock/internlm2_5-step-prover-GGUF
Text Generation • 8B • Updated • 58
yulan-team/YuLan-Mini
Text Generation • 2B • Updated • 408 • 39
KnutJaegersberg/YuLan-Mini-Q8_0-GGUF
2B • Updated • 12
NikolayKozloff/YuLan-Mini-Q8_0-GGUF
2B • Updated • 28 • 1
bartowski/YuLan-Mini-GGUF
Text Generation • 2B • Updated • 1.15k • 5
mradermacher/YuLan-Mini-GGUF
2B • Updated • 288
matrixportalx/YuLan-Mini-Q4_0-GGUF
Text Generation • 2B • Updated • 12
matrixportalx/YuLan-Mini-Q8_0-GGUF
Text Generation • 2B • Updated • 13
QuantFactory/YuLan-Mini-GGUF
Text Generation • 2B • Updated • 436 • 2
itlwas/YuLan-Mini-Q4_K_M-GGUF
Text Generation • 2B • Updated • 16
kfdong/STP_model_Lean
Text Generation • 7B • Updated • 22 • 3
ByteDance-Seed/BFS-Prover-V1-7B
Text Generation • 8B • Updated • 198 • • 26
mradermacher/BFS-Prover-GGUF
8B • Updated • 451 • 1
QuantFactory/BFS-Prover-GGUF
Text Generation • 8B • Updated • 857 • 1
tensorblock/BFS-Prover-GGUF
Text Generation • 8B • Updated • 111
tensorblock/YuLan-Mini-GGUF
Text Generation • 2B • Updated • 111 • 1
kfdong/STP_model_Lean_0320
Text Generation • 7B • Updated • 824 • 1
IvanHU/YuLan-Mini-4bit
Text Generation • 2B • Updated • 11
NJUDeepEngine/llm_based_atp
Text Generation • 8B • Updated • 11 • 1
mradermacher/BFS-Prover-V1-7B-GGUF
8B • Updated • 535
mradermacher/BFS-Prover-V1-7B-i1-GGUF
8B • Updated • 841
Edge-Quant/YuLan-Mini-Q4_K_M-GGUF
Text Generation • 2B • Updated • 9
diskrot/YuLan-Mini-diskrot
Text Generation • 2B • Updated • 191
diskrot/YuLan-Mini-GGUF-diskrot
Text Generation • 2B • Updated • 61
WithinUsAI/Agent.Nano.Coder-2B-gguf
2B • Updated • 148 • 4
NJUDeepEngine/SEG-ATP
Text Generation • Updated
WufuJu/internlm2-5-step-prover-critic
Text Generation • Updated • 650