no code implementations • 3 Feb 2023 • Kavi Gupta, Osbert Bastani, Armando Solar-Lezama
Real-world processes often contain intermediate state that can be modeled as an extremely sparse tensor.
1 code implementation • NeurIPS 2020 • Kavi Gupta, Peter Ebert Christensen, Xinyun Chen, Dawn Song
The use of deep learning techniques has achieved significant progress for program synthesis from input-output examples.
no code implementations • ICLR 2019 • Richard Shin, Neel Kant, Kavi Gupta, Christopher Bender, Brandon Trabucco, Rishabh Singh, Dawn Song
The goal of program synthesis is to automatically generate programs in a particular language from corresponding specifications, e. g. input-output behavior.