4 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Elizabeth Polgreen, Ralph Abboud, Daniel Kroening
Program synthesis is the generation of a program from a specification. Correct synthesis is difficult, and methods that provide formal guarantees suffer from scalability issues. On…