6 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn
Synthesis tools have seen significant success in recent times. However, past approaches often require a complete and accurate embedding of the source language in the logic of the u…