LEVER: Learning to Verify Language-to-Code Generation with Execution

Ansong Ni, Srini Iyer 0001, Dragomir Radev, Veselin Stoyanov, Wen-tau Yih, Sida I. Wang, Xi Victoria Lin. LEVER: Learning to Verify Language-to-Code Generation with Execution. In Andreas Krause 0001, Emma Brunskill, KyungHyun Cho, Barbara Engelhardt, Sivan Sabato, Jonathan Scarlett, editors, International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA. Volume 202 of Proceedings of Machine Learning Research, pages 26106-26128, PMLR, 2023. [doi]

@inproceedings{Ni0RSYWL23,
  title = {LEVER: Learning to Verify Language-to-Code Generation with Execution},
  author = {Ansong Ni and Srini Iyer 0001 and Dragomir Radev and Veselin Stoyanov and Wen-tau Yih and Sida I. Wang and Xi Victoria Lin},
  year = {2023},
  url = {https://proceedings.mlr.press/v202/ni23b.html},
  researchr = {https://researchr.org/publication/Ni0RSYWL23},
  cites = {0},
  citedby = {0},
  pages = {26106-26128},
  booktitle = {International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA},
  editor = {Andreas Krause 0001 and Emma Brunskill and KyungHyun Cho and Barbara Engelhardt and Sivan Sabato and Jonathan Scarlett},
  volume = {202},
  series = {Proceedings of Machine Learning Research},
  publisher = {PMLR},
}