@misc{indiciae1a5310c4e00d,
  title = {LEVER: Learning to Verify Language-to-Code Generation with Execution},
  author = {Ansong Ni and Srini Iyer and Dragomir Radev and Ves Stoyanov and Wen-tau Yih and Sida I. Wang and Xi Victoria Lin},
  year = {2023},
  url = {https://arxiv.org/abs/2302.08468},
  note = {Source identifier: 2302.08468}
}