Models

23

Full-text search

Active filters: internlm/Lean-Github

internlm/internlm2_5-step-prover

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

internlm/internlm2_5-step-prover-critic

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

tensorblock/internlm2_5-step-prover-GGUF

Text Generation • 8B • Updated Jan 27 • 19

yulan-team/YuLan-Mini

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

KnutJaegersberg/YuLan-Mini-Q8_0-GGUF

2B • Updated Dec 26, 2024 • 4

NikolayKozloff/YuLan-Mini-Q8_0-GGUF

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

bartowski/YuLan-Mini-GGUF

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

mradermacher/YuLan-Mini-GGUF

2B • Updated Dec 30, 2024 • 193

matrixportalx/YuLan-Mini-Q4_0-GGUF

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

matrixportalx/YuLan-Mini-Q8_0-GGUF

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

QuantFactory/YuLan-Mini-GGUF

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

itlwas/YuLan-Mini-Q4_K_M-GGUF

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

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

Text Generation • 8B • Updated Oct 14, 2025 • 101 • • 25

mradermacher/BFS-Prover-GGUF

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

QuantFactory/BFS-Prover-GGUF

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

tensorblock/BFS-Prover-GGUF

Text Generation • 8B • Updated Jan 27 • 236

tensorblock/YuLan-Mini-GGUF

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

IvanHU/YuLan-Mini-4bit

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

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

8B • Updated Oct 15, 2025 • 23

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

8B • Updated Dec 10, 2025 • 301

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 • 49

diskrot/YuLan-Mini-GGUF-diskrot

Text Generation • 2B • Updated Feb 24 • 156