PROOF-Gen: From Optimized Data to Better Distillation

PROOF-Gen is a distillation method that mines failed teacher trajectories for tool-c

Opening Kapyn…