Phi-4 Collection Phi-4 family of small language, multi-modal and reasoning models. • 17 items • Updated Jul 10, 2025 • 195
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning Paper • 2601.20055 • Published 17 days ago • 6 • 4
Deepseek v3.2 Speciale Collection Distilled models and datasets for Deepseek v3.2 Speciale. • 11 items • Updated Dec 20, 2025 • 4
Valdemardi/DeepSeek-R1-Distill-Qwen-32B-AWQ Text Generation • 33B • Updated Jan 20, 2025 • 9.39k • 37
kaitchup/DeepSeek-R1-Distill-Qwen-14B-AutoRound-GPTQ-4bit Text Generation • 15B • Updated Jan 27, 2025 • 24 • 7