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

Ni, Ansong, Iyer, Srini, Radev, Dragomir · arXiv · 2023