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