University of California Santa Barbara; Carnegie Mellon University
Kexun Zhang, Kexun Zhang, Danqing Wang, Jingtao Xia, William Yang Wang, Lei Li
Large Language Models;Code Generation;Code Intelligence;Automatic Verification
ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers