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]

Abstract

Abstract is missing.