Search papers, labs, and topics across Lattice.
Meta AICERMICS 脡cole des Ponts ParisTechENSINRIAInstitut universitaire de FrancePSL Research UniversitySorbonneMay 29, 2026arXiv:2605.30861This paper introduces Feedback Distillation, a novel training method that enhances the post-training phase of reasoning models by using token-level supervision derived from privileged feedback from a language model. The approach addresses limitations of traditional methods like GRPO, such as sparse rewards and mode collapse, by promoting greater diversity in generated trajectories. Evaluations in Lean4 theorem-proving demonstrate that Feedback Distillation not only improves policy entropy but also outperforms GRPO when used as an initialization strategy, indicating a significant advancement in post-training for complex reasoning tasks.
Feedback Distillation boosts reasoning model performance by enhancing trajectory diversity and policy entropy, outperforming traditional methods like GRPO.
Post-training for reasoning models typically combines supervised fine-tuning with reinforcement learning from verifiable rewards, most commonly with GRPO. However, this algorithm suffers from sparse rewards, limited exploration, and mode collapse. Building upon recent works on self-distillation, we propose Feedback Distillation, a training method where the model is trained to match, at the token level, its own distribution conditioned on privileged feedback produced by a language model. Feedback Distillation offers token-level supervision and can inject external knowledge. Evaluating our method for Lean4 theorem-proving, we find that Feedback Distillation maintains greater diversity in generated trajectories than GRPO, yielding higher policy entropy and better pass@k scaling. The two methods are complementary: initializing GRPO from a Feedback Distillation checkpoint outperforms either method alone. All in all, our results suggest a promising avenue to improve post-training for complex reasoning.
