1 paper · 1 filter
Evan Hernandez, Ara Vartanian, Xiaojin Zhu
Program synthesis is the process of automatically translating a specification into computer code. Traditional synthesis settings require a formal, precise specification. Motivated…