41 citations · 44 across the 8 of their papers we have counts for
1 paper · 1 filter
Mara Downing, Abtin Molavi, Lucas Bang
We present a method of automatically synthesizing steps to solve search problems. Given a specification of a search problem, our approach uses symbolic execution to analyze the spe…