NewEvery arXiv paper, its researchers & institutions — mapped.
papers

Publications (2)

cs.LG2019

SPoC: Search-based Pseudocode to Code

Sumith Kulal, Panupong Pasupat, Kartik Chandra +4

cs.LO2018

What's hard about Boolean Functional Synthesis

S. Akshay, Supratik Chakraborty, Shubham Goel +2