David Brandfonbrener, Sibi Raja, Tarun Prasad, Chloe Loughridge, Jianang Yang, Simon Henniger, William E. Byrd, Robert Zinkov, and Nada Amin. 2024. “Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search”. Publisher's Version