Learning to Infer Program Sketches

Learning to Infer Program Sketches

17 February 2019

Armando Solar-Lezama

Papers citing "Learning to Infer Program Sketches"

15 / 15 papers shown

Title
Ain't Nobody Got Time For Coding: Structure-Aware Program Synthesis From Natural Language J. Bednarek K. Piaskowski K. Krawiec 30 12 0 23 Oct 2018
Automatic Program Synthesis of Long Programs with a Learned Garbage Collector Amit Zohar Lior Wolf 69 78 0 12 Sep 2018
Neural Guided Constraint Logic Programming for Program Synthesis Lisa Zhang Gregory Rosenblatt Ethan Fetaya Renjie Liao William E. Byrd M. Might R. Urtasun R. Zemel NAI 87 30 0 08 Sep 2018
Coarse-to-Fine Decoding for Neural Semantic Parsing Li Dong Mirella Lapata NAI 72 393 0 12 May 2018
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis Rudy Bunel Matthew J. Hausknecht Jacob Devlin Rishabh Singh Pushmeet Kohli NAI 93 218 0 11 May 2018
Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples Ashwin J. Vijayakumar Abhishek Mohta Oleksandr Polozov Dhruv Batra Prateek Jain Sumit Gulwani NAI 94 164 0 03 Apr 2018
Neural Program Search: Solving Programming Tasks from Description and Examples Illia Polosukhin Alexander Skidanov NAI 111 59 0 12 Feb 2018
Towards Synthesizing Complex Programs from Input-Output Examples Xinyun Chen Chang-rui Liu D. Song NAI 28 11 0 05 Jun 2017
RobustFill: Neural Program Learning under Noisy I/O Jacob Devlin J. Uesato Surya Bhupatiraju Rishabh Singh Abdel-rahman Mohamed Pushmeet Kohli 72 390 0 21 Mar 2017
SyGuS-Comp 2016: Results and Analysis Rajeev Alur D. Fisman Rishabh Singh Armando Solar-Lezama 33 39 0 23 Nov 2016
DeepCoder: Learning to Write Programs Matej Balog Alexander L. Gaunt Marc Brockschmidt Sebastian Nowozin Daniel Tarlow AIMat NAI 78 572 0 07 Nov 2016
Neuro-Symbolic Program Synthesis Emilio Parisotto Abdel-rahman Mohamed Rishabh Singh Lihong Li Dengyong Zhou Pushmeet Kohli NAI 106 322 0 06 Nov 2016
Inference Compilation and Universal Probabilistic Programming T. Le A. G. Baydin Frank Wood UQCV 175 143 0 31 Oct 2016
Programming with a Differentiable Forth Interpreter Matko Bosnjak Tim Rocktaschel Jason Naradowsky Sebastian Riedel 49 148 0 21 May 2016
Adam: A Method for Stochastic Optimization Diederik P. Kingma Jimmy Ba ODL 1.5K 149,842 0 22 Dec 2014