ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers - Zhang, Kexun; Wang, Danqing; Xia, Jingtao; Wang, William Yang; Li, Lei (Advances in Neural Information Processing Systems, 2023)