Showing 2026Show all
2 papers · 1 filter
cs.PL2026
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…
cs.LO2026
Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties
Derek Egolf, Stavros Tripakis
We present a novel approach for the synthesis of recursive programs from mixed-quantifier first-order logic properties. We solve this problem using a sketching-based, enumerative,…