ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers.

Kexun Zhang Danqing Wang Jingtao Xia William Yang Wang Lei Li

Published in: NeurIPS (2023)

Keyphrases

database
data sets
generation process
real time
data mining
information retrieval
computer programs