Grammar Filtering For Syntax-Guided Synthesis

Grammar Filtering For Syntax-Guided Synthesis

7 February 2020

William T. Hallahan

Mark Santolucito

ArXiv (abs)PDF HTML

Papers citing "Grammar Filtering For Syntax-Guided Synthesis"

14 / 14 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 86 45 0 27 Dec 2019
Overfitting in Synthesis: Theory and Practice (Extended Version) Saswat Padhi T. Millstein A. Nori Rahul Sharma 24 26 0 17 May 2019
Learning to Infer Program Sketches Maxwell Nye Luke B. Hewitt J. Tenenbaum Armando Solar-Lezama NAI 90 113 0 17 Feb 2019
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis Rudy Bunel Matthew J. Hausknecht Jacob Devlin Rishabh Singh Pushmeet Kohli NAI 103 220 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 97 166 0 03 Apr 2018
SyGuS-Comp 2017: Results and Analysis Rajeev Alur D. Fisman Rishabh Singh Armando Solar-Lezama 21 41 0 29 Nov 2017
Neural Program Meta-Induction Jacob Devlin Rudy Bunel Rishabh Singh Matthew J. Hausknecht Pushmeet Kohli 64 72 0 11 Oct 2017
Towards Synthesizing Complex Programs from Input-Output Examples Xinyun Chen Chang-rui Liu Basel Alomair 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 75 391 0 21 Mar 2017
DeepCoder: Learning to Write Programs Matej Balog Alexander L. Gaunt Marc Brockschmidt Sebastian Nowozin Daniel Tarlow AIMat NAI 88 572 0 07 Nov 2016
Learning Efficient Algorithms with Hierarchical Attentive Memory Marcin Andrychowicz Karol Kurach 53 51 0 09 Feb 2016
Neural GPUs Learn Algorithms Lukasz Kaiser Ilya Sutskever 82 369 0 25 Nov 2015
Inferring Algorithmic Patterns with Stack-Augmented Recurrent Nets Armand Joulin Tomas Mikolov TPM 138 411 0 03 Mar 2015
Neural Turing Machines Alex Graves Greg Wayne Ivo Danihelka 97 2,328 0 20 Oct 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.