67 citations · 147 across the 11 of their papers we have counts for
1 paper · 1 filter
Kensen Shi, Hanjun Dai, Wen-Ding Li +2
Search is an important technique in program synthesis that allows for adaptive strategies such as focusing on particular search directions based on execution results. Several prior…