This is the Synthesis4Synthesis (S4S) project. The ongoing writeup draft can be found in s4s.pdf. It was last updated Dec 15, 2023.