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