@misc{indiciaec0818902ef26,
  title = {VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search},
  author = {David Brandfonbrener and Simon Henniger and Sibi Raja and Tarun Prasad and Chloe Loughridge and Federico Cassano and Sabrina Ruixin Hu and Jianang Yang and William E. Byrd and Robert Zinkov and Nada Amin},
  year = {2024},
  url = {https://arxiv.org/abs/2402.08147},
  note = {Source identifier: 2402.08147}
}