Can LLMs Perform Synthesis?

Derek Egolf, Yuhao Zhou, Stavros Tripakis

How do LLMs compare with symbolic tools on program synthesis tasks? We investigate this question on several synthesis domains: LTL reactive synthesis, syntax-guided synthesis, dist…