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