1 code implementation • 9 Dec 2023 • Yusheng Zheng, Yiwei Yang, Maolin Chen, Andrew Quinn
In particular, the system uses symbolic execution in a novel structure that allows it to combine the results of program synthesis and program comprehension and build on the recent success that LLMs have shown for each of these tasks individually.