Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis

11 May 2018

Rudy Bunel

Matthew J. Hausknecht

Papers citing "Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis"

42 / 42 papers shown

Title
Enhancing LLM Agents for Code Generation with Possibility and Pass-rate Prioritized Experience Replay Yuyang Chen Kaiyan Zhao Yiming Wang Ming Yang Jian Zhang Yan Li 41 1 0 16 Oct 2024
COOL: Efficient and Reliable Chain-Oriented Objective Logic with Neural Networks Feedback Control for Program Synthesis Jipeng Han 39 0 0 02 Oct 2024
Benchmarking Generative Models on Computational Thinking Tests in Elementary Visual Programming Victor-Alexandru Pădurean Adish Singla ELM 54 3 0 14 Jun 2024
Hints-In-Browser: Benchmarking Language Models for Programming Feedback Generation Nachiket Kotalwar Alkis Gotovos Adish Singla ALM 64 4 0 07 Jun 2024
Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search Max Liu Chan-Hung Yu Wei-Hsu Lee Cheng-Wei Hung Yen-Chun Chen Shao-Hua Sun 55 4 0 26 May 2024
Towards Generalizable Agents in Text-Based Educational Environments: A Study of Integrating RL with LLMs Bahar Radmehr Adish Singla Tanja Kaser LLMAG AI4CE 38 6 0 29 Apr 2024
Learning a Hierarchical Planner from Humans in Multiple Generations Leonardo Hernandez Cano Yewen Pu Robert D. Hawkins Josh Tenenbaum Armando Solar-Lezama 29 2 0 17 Oct 2023
Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis Julian Parsert Elizabeth Polgreen 33 3 0 13 Jul 2023
Image Transformation Sequence Retrieval with General Reinforcement Learning Enrique Mas-Candela Antonio Ríos-Vila Jorge Calvo-Zaragoza 22 0 0 13 Jul 2023
Learning-Based Automatic Synthesis of Software Code and Configuration Shantanu Mandal 25 0 0 25 May 2023
Neural Machine Translation for Code Generation K. Dharma Clayton T. Morrison 32 4 0 22 May 2023
Proximal Curriculum for Reinforcement Learning Agents Georgios Tzannetos Bárbara Gomes Ribeiro Parameswaran Kamalaruban Adish Singla 32 5 0 25 Apr 2023
Smart Learning to Find Dumb Contracts (Extended Version) Tamer Abdelaziz Aquinas Hobor 18 5 0 21 Apr 2023
Adaptive Scaffolding in Block-Based Programming via Synthesizing New Tasks as Pop Quizzes Ahana Ghosh Sebastian Tschiatschek Sam Devlin Adish Singla 13 14 0 28 Mar 2023
Improved Tree Search for Automatic Program Synthesis Aran Carmon Lior Wolf 16 0 0 13 Mar 2023
A Survey on Natural Language Processing for Programming Qingfu Zhu Xianzhen Luo Fang Liu Cuiyun Gao Wanxiang Che 25 1 0 12 Dec 2022
E-MAPP: Efficient Multi-Agent Reinforcement Learning with Parallel Program Guidance C. Chang Ni Mu Jiajun Wu Ling Pan Huazhe Xu 50 7 0 05 Dec 2022
NeuroCERIL: Robotic Imitation Learning via Hierarchical Cause-Effect Reasoning in Programmable Attractor Neural Networks Gregory P. Davis Garrett E. Katz R. Gentili J. Reggia NAI 33 1 0 11 Nov 2022
How to Reuse and Compose Knowledge for a Lifetime of Tasks: A Survey on Continual Learning and Functional Composition Jorge Armando Mendez Mendez Eric Eaton KELM CLL 32 27 0 15 Jul 2022
CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learning Hung Le Yue Wang Akhilesh Deepak Gotmare Silvio Savarese S. Hoi SyDa ALM 132 240 0 05 Jul 2022
Neural Program Synthesis with Query Di Huang Rui Zhang Xing Hu Xishan Zhang Pengwei Jin Nan Li Zidong Du Qi Guo Yunji Chen 19 2 0 08 May 2022
From {Solution Synthesis} to {Student Attempt Synthesis} for Block-Based Visual Programming Tasks Adish Singla Nikitas Theodoropoulos 28 13 0 03 May 2022
Compositional Generalization and Decomposition in Neural Program Synthesis Kensen Shi Joey Hong Manzil Zaheer Pengcheng Yin Charles Sutton 37 5 0 07 Apr 2022
Synthesizing explainable counterfactual policies for algorithmic recourse with program synthesis Giovanni De Toni Bruno Lepri Andrea Passerini CML 30 13 0 18 Jan 2022
Learning to Synthesize Programs as Interpretable and Generalizable Policies Dweep Trivedi Jesse Zhang Shao-Hua Sun Joseph J. Lim NAI 24 72 0 31 Aug 2021
Latent Execution for Neural Program Synthesis Xinyun Chen D. Song Yuandong Tian NAI 21 52 0 29 Jun 2021
On Adversarial Robustness of Synthetic Code Generation Mrinal Anand Pratik Kayal M. Singh 29 3 0 22 Jun 2021
Neural Production Systems: Learning Rule-Governed Visual Dynamics Anirudh Goyal Aniket Didolkar Nan Rosemary Ke Charles Blundell Philippe Beaudoin N. Heess Michael C. Mozer Yoshua Bengio OCL 50 82 0 02 Mar 2021
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments Yichen Yang J. Inala Osbert Bastani Yewen Pu Armando Solar-Lezama Martin Rinard 42 12 0 22 Feb 2021
PLAD: Learning to Infer Shape Programs with Pseudo-Labels and Approximate Distributions R. K. Jones Homer Walke Daniel E. Ritchie 28 24 0 25 Nov 2020
A Systematic Literature Review on the Use of Deep Learning in Software Engineering Research Cody Watson Nathan Cooper David Nader-Palacio Kevin Moran Denys Poshyvanyk 26 111 0 14 Sep 2020
Neural Learning of One-of-Many Solutions for Combinatorial Problems in Structured Output Spaces Yatin Nandwani Deepanshu Jindal Mausam Parag Singla 16 13 0 27 Aug 2020
BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration Augustus Odena Kensen Shi David Bieber Rishabh Singh Charles Sutton Hanjun Dai 18 55 0 28 Jul 2020
Learning Differentiable Programs with Admissible Neural Heuristics Ameesh Shah Eric Zhan Jennifer J. Sun Abhinav Verma Yisong Yue Swarat Chaudhuri 137 43 0 23 Jul 2020
Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains Vaishak Belle NAI LRM 18 36 0 15 Jun 2020
Grammar Filtering For Syntax-Guided Synthesis K. Morton William T. Hallahan Elven Shum R. Piskac Mark Santolucito 26 10 0 07 Feb 2020
Synthetic Data for Deep Learning Sergey I. Nikolenko 46 348 0 25 Sep 2019
Few-Shot Bayesian Imitation Learning with Logical Program Policies Tom Silver Kelsey R. Allen Alexander K. Lew L. Kaelbling J. Tenenbaum LM&Ro 21 50 0 12 Apr 2019
Maybe Deep Neural Networks are the Best Choice for Modeling Source Code Rafael-Michael Karampatsis Charles Sutton 11 54 0 13 Mar 2019
Learning to Infer Program Sketches Maxwell Nye Luke B. Hewitt J. Tenenbaum Armando Solar-Lezama NAI 11 113 0 17 Feb 2019
Automatically Composing Representation Transformations as a Means for Generalization Michael Chang Abhishek Gupta Sergey Levine Thomas L. Griffiths 26 68 0 12 Jul 2018
Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation Yonghui Wu M. Schuster Z. Chen Quoc V. Le Mohammad Norouzi ... Alex Rudnick Oriol Vinyals G. Corrado Macduff Hughes J. Dean AIMat 716 6,746 0 26 Sep 2016