New Frontiers in ProgramNew Frontiers in ProgramSynthesisgeneration without recursion.A striking approach to programLogic in Computer ScienceAdvancements in Program Synthesis Using Theorem ProvingA new method for creating recursion-free programs from functional specifications.2025-09-02T17:46:12+00:00 ― 6 min read