Once Upon an Input: Reasoning via Per-Instance Program Synthesis - Stein, Adam; Velingker, Neelay; Naik, Mayur; Wong, Eric (Advances in Neural Information Processing Systems, 2025)