Login / Signup
LEVER: Learning to Verify Language-to-Code Generation with Execution.
Ansong Ni
Srini Iyer
Dragomir Radev
Veselin Stoyanov
Wen-Tau Yih
Sida I. Wang
Xi Victoria Lin
Published in:
ICML (2023)
Keyphrases
</>
code generation
learning process
data processing
expert systems
relational databases
query processing
application development
modeling language
formal specification