ML Anthology

Xia, Jingtao

1 publications

NeurIPS 2023 ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers Kexun Zhang, Danqing Wang, Jingtao Xia, William Yang Wang, Lei Li