Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples

3 April 2018

Ashwin J. Vijayakumar

Papers citing "Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples"

23 / 23 papers shown

Title
How Efficient is LLM-Generated Code? A Rigorous & High-Standard Benchmark Ruizhong Qiu Weiliang Will Zeng Hanghang Tong James Ezick Christopher Lott 90 16 0 20 Feb 2025
COOL: Efficient and Reliable Chain-Oriented Objective Logic with Neural Networks Feedback Control for Program Synthesis Jipeng Han 42 0 0 02 Oct 2024
Learning Program Behavioral Models from Synthesized Input-Output Pairs Tural Mammadov Dietrich Klakow Alexander Koller Andreas Zeller 45 3 0 11 Jul 2024
Is Programming by Example solved by LLMs? Wen-Ding Li Kevin Ellis 37 10 0 12 Jun 2024
Learning-Based Automatic Synthesis of Software Code and Configuration Shantanu Mandal 38 0 0 25 May 2023
Improved Tree Search for Automatic Program Synthesis Aran Carmon Lior Wolf 31 0 0 13 Mar 2023
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 35 1 0 11 Nov 2022
Neurosymbolic Repair for Low-Code Formula Languages Rohan Bavishi Harshit Joshi José Pablo Cambronero Sánchez Anna Fariha Sumit Gulwani Vu Le Ivan Radicek A. Tiwari 16 13 0 24 Jul 2022
Latent Execution for Neural Program Synthesis Xinyun Chen D. Song Yuandong Tian NAI 29 52 0 29 Jun 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
Learning to Execute Programs with Instruction Pointer Attention Graph Neural Networks David Bieber Charles Sutton Hugo Larochelle Daniel Tarlow GNN 27 43 0 23 Oct 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
Grammar Filtering For Syntax-Guided Synthesis K. Morton William T. Hallahan Elven Shum R. Piskac Mark Santolucito 36 10 0 07 Feb 2020
Comparison of Syntactic and Semantic Representations of Programs in Neural Embeddings Austin P. Wright H. Wiklicky GNN NAI 21 0 0 24 Jan 2020
Synthetic Data for Deep Learning Sergey I. Nikolenko 46 349 0 25 Sep 2019
Neural Probabilistic Logic Programming in DeepProbLog Robin Manhaeve Sebastijan Dumancic Angelika Kimmig T. Demeester Luc de Raedt NAI 40 542 0 18 Jul 2019
Program Synthesis and Semantic Parsing with Learned Code Idioms Richard Shin Miltiadis Allamanis Marc Brockschmidt Oleksandr Polozov 24 87 0 26 Jun 2019
Learning Execution through Neural Code Fusion Zhan Shi Kevin Swersky Daniel Tarlow Parthasarathy Ranganathan Milad Hashemi GNN 21 29 0 17 Jun 2019
Write, Execute, Assess: Program Synthesis with a REPL Kevin Ellis Maxwell Nye Yewen Pu Felix Sosa J. Tenenbaum Armando Solar-Lezama 30 166 0 09 Jun 2019
Learning to Infer Program Sketches Maxwell Nye Luke B. Hewitt J. Tenenbaum Armando Solar-Lezama NAI 18 113 0 17 Feb 2019
Automatic Program Synthesis of Long Programs with a Learned Garbage Collector Amit Zohar Lior Wolf 36 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 11 30 0 08 Sep 2018
HOUDINI: Lifelong Learning as Program Synthesis Lazar Valkov Dipak Chaudhari Akash Srivastava Charles Sutton Swarat Chaudhuri 24 79 0 31 Mar 2018