15 citations · 66 across the 23 of their papers we have counts for
1 paper · 1 filter
Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi +1
Template-based synthesis, also known as sketching, is a localized approach to program synthesis in which the programmer provides not only a specification, but also a high-level ``s…