Learning to Reason via Program Generation, Emulation, and Search - Weir, Nathaniel; Khalifa, Muhammad; Qiu, Linlu; Weller, Orion; Clark, Peter (Advances in Neural Information Processing Systems, 2024)