Learning to Represent Programs with Property Signatures

13 February 2020

Papers citing "Learning to Represent Programs with Property Signatures"

11 / 11 papers shown

Title
Synthetic Datasets for Neural Program Synthesis Richard Shin Neel Kant Kavi Gupta Christopher M. Bender Brandon Trabucco Rishabh Singh Basel Alomair NAI 91 46 0 27 Dec 2019
Write, Execute, Assess: Program Synthesis with a REPL Kevin Ellis Maxwell Nye Yewen Pu Felix Sosa J. Tenenbaum Armando Solar-Lezama 87 168 0 09 Jun 2019
Learning to Infer Program Sketches Maxwell Nye Luke B. Hewitt J. Tenenbaum Armando Solar-Lezama NAI 92 114 0 17 Feb 2019
Automatic Program Synthesis of Long Programs with a Learned Garbage Collector Amit Zohar Lior Wolf 83 78 0 12 Sep 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 102 166 0 03 Apr 2018
code2vec: Learning Distributed Representations of Code Uri Alon Meital Zilberstein Omer Levy Eran Yahav 53 1,180 0 26 Mar 2018
The Three Pillars of Machine Programming Justin Emile Gottschlich Armando Solar-Lezama Nesime Tatbul Michael Carbin Martin Rinard Regina Barzilay Saman P. Amarasinghe J. Tenenbaum Tim Mattson 68 63 0 20 Mar 2018
A Survey of Machine Learning for Big Code and Naturalness Miltiadis Allamanis Earl T. Barr Premkumar T. Devanbu Charles Sutton 113 860 0 18 Sep 2017
RobustFill: Neural Program Learning under Noisy I/O Jacob Devlin J. Uesato Surya Bhupatiraju Rishabh Singh Abdel-rahman Mohamed Pushmeet Kohli 75 393 0 21 Mar 2017
DeepCoder: Learning to Write Programs Matej Balog Alexander L. Gaunt Marc Brockschmidt Sebastian Nowozin Daniel Tarlow AIMat NAI 91 575 0 07 Nov 2016
DeepMath - Deep Sequence Models for Premise Selection Alexander A. Alemi François Chollet N. Eén G. Irving Christian Szegedy Josef Urban LRM AIMat 70 229 0 14 Jun 2016