50 citations · 89 across the 7 of their papers we have counts for
1 paper · 2 filters
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…