no code implementations • 22 Jun 2020 • Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman
In the context of interactive program synthesis, we use the above result to develop an {\em{active program learner}} that generates the significant inputs to pose as queries to the user in each iteration.
no code implementations • 17 Sep 2017 • Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd Millstein
However, manual inspection of data to identify the different formats is infeasible in standard big-data scenarios.