Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs

Shmuel Berman, Mark Santolucito

Program synthesis has seen many new applications in recent years, in large part thanks to the introduction of SyGuS. However, no existing SyGuS solvers have support for synthesizin…