Models

27

Full-text search

Active filters: internlm/Lean-Workbook

WithinUsAI/Agent.Nano.Coder-2B-gguf

2B • Updated 4 days ago • 154 • 2

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

Text Generation • 8B • Updated Oct 14, 2025 • 177 • • 26

internlm/internlm2_5-step-prover

Text Generation • Updated Oct 22, 2024 • 2.2k • 5

internlm/internlm2_5-step-prover-critic

Text Generation • Updated Oct 22, 2024 • 1.77k • 6

tensorblock/internlm2_5-step-prover-GGUF

Text Generation • 8B • Updated Jan 27 • 17

yulan-team/YuLan-Mini

Text Generation • 2B • Updated Mar 27, 2025 • 17 • 38

KnutJaegersberg/YuLan-Mini-Q8_0-GGUF

2B • Updated Dec 26, 2024 • 4

NikolayKozloff/YuLan-Mini-Q8_0-GGUF

2B • Updated Dec 26, 2024 • 12 • 1

bartowski/YuLan-Mini-GGUF

Text Generation • 2B • Updated Dec 26, 2024 • 625 • 5

mradermacher/YuLan-Mini-GGUF

2B • Updated Dec 30, 2024 • 184

matrixportalx/YuLan-Mini-Q4_0-GGUF

Text Generation • 2B • Updated Dec 31, 2024 • 18

matrixportalx/YuLan-Mini-Q8_0-GGUF

Text Generation • 2B • Updated Dec 31, 2024 • 11

QuantFactory/YuLan-Mini-GGUF

Text Generation • 2B • Updated Jan 3, 2025 • 163 • 2

itlwas/YuLan-Mini-Q4_K_M-GGUF

Text Generation • 2B • Updated Jan 4, 2025 • 9

kfdong/STP_model_Lean

Text Generation • 7B • Updated Mar 24, 2025 • 6.38k • 3

mradermacher/BFS-Prover-GGUF

8B • Updated Oct 12, 2025 • 120 • 1

QuantFactory/BFS-Prover-GGUF

Text Generation • 8B • Updated Mar 4, 2025 • 200 • 1

tensorblock/BFS-Prover-GGUF

Text Generation • 8B • Updated Jan 27 • 239

tensorblock/YuLan-Mini-GGUF

Text Generation • 2B • Updated Jan 27 • 46 • 1

kfdong/STP_model_Lean_0320

Text Generation • 7B • Updated Mar 24, 2025 • 31

IvanHU/YuLan-Mini-4bit

Text Generation • 0.4B • Updated Apr 10, 2025 • 7

NJUDeepEngine/llm_based_atp

Text Generation • 8B • Updated Jun 23, 2025 • 3 • 1

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

8B • Updated Oct 15, 2025 • 29

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

8B • Updated Dec 10, 2025 • 304

Edge-Quant/YuLan-Mini-Q4_K_M-GGUF

Text Generation • 2B • Updated Dec 16, 2025 • 10

diskrot/YuLan-Mini-diskrot

Text Generation • 2B • Updated Feb 22 • 35

diskrot/YuLan-Mini-GGUF-diskrot

Text Generation • 2B • Updated Feb 24 • 165