ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kexun Zhang, Danqing Wang, Jingtao Xia, William Yang Wang, Lei Li. ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers. In Alice Oh, Tristan Naumann, Amir Globerson, Kate Saenko, Moritz Hardt, Sergey Levine, editors, Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023. 2023. [doi]

This author has not been identified. Look up 'Kexun Zhang' in GoogleThis author has not been identified. Look up 'Danqing Wang' in GoogleThis author has not been identified. Look up 'Jingtao Xia' in GoogleThis author has not been identified. Look up 'William Yang Wang' in GoogleThis author has not been identified. Look up 'Lei Li' in Google

runs on WebDSL