Fetching the paper…

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