TY  - RPRT
TI  - ALGO: Synthesizing Algorithmic Programs with LLM-Generated Oracle Verifiers
AU  - Kexun Zhang
AU  - Danqing Wang
AU  - Jingtao Xia
AU  - William Yang Wang
AU  - Lei Li
PY  - 2023
UR  - https://arxiv.org/abs/2305.14591
ID  - 2305.14591
ER  -