Reinforcement-aware Knowledge Distillation for LLM Reasoning Paper • 2602.22495 • Published 14 days ago • 1
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning Paper • 2601.20055 • Published Jan 27 • 7