11 citations · 13 across the 4 of their papers we have counts for
1 paper · 1 filter
Martin Berger, Nathanaël Fijalkow, Mojtaba Valizadeh
Program synthesis is an umbrella term for generating programs and logical formulae from specifications. With the remarkable performance improvements that GPUs enable for deep learn…