Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search. - David Brandfonbrener; Sibi Raja; Tarun Prasad; Chloe Loughridge; Jianang Yang; Simon Henniger; William E. Byrd; Robert Zinkov; Nada Amin (CoRR, 2024)