TY  - RPRT
TI  - VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
AU  - David Brandfonbrener
AU  - Simon Henniger
AU  - Sibi Raja
AU  - Tarun Prasad
AU  - Chloe Loughridge
AU  - Federico Cassano
AU  - Sabrina Ruixin Hu
AU  - Jianang Yang
AU  - William E. Byrd
AU  - Robert Zinkov
AU  - Nada Amin
PY  - 2024
UR  - https://arxiv.org/abs/2402.08147
ID  - 2402.08147
ER  -