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 67 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 31 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 165 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.4K 149,842 0 22 Dec 2014

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.