Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis.

Adri Gascn, Ashish Tiwari, Brent Carmer, Umang Mathur

Browse the full CAV paper archive.