v1v2 (latest)

Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis

16 July 2020

Kavi Gupta

Peter Ebert Christensen

Papers citing "Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis"

34 / 34 papers shown

Title
NL-Debugging: Exploiting Natural Language as an Intermediate Representation for Code Debugging Weiming Zhang Qingyao Li Xinyi Dai Jizheng Chen Kounianhua Du Weinan Zhang Weiwen Liu Yasheng Wang Ruiming Tang Yong Yu LRM 60 0 0 21 May 2025
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning Azim Ospanov Farzan Farnia Roozbeh Yousefzadeh LRM 125 0 0 09 May 2025
Fully Autonomous Programming using Iterative Multi-Agent Debugging with Large Language Models Anastasiia Grishina Vadim Liventsev Aki Härmä Leon Moonen ELM 155 0 0 10 Mar 2025
From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging Yuling Shi Songsong Wang Chengcheng Wan Xiaodong Gu ELM 103 9 0 02 Oct 2024
Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods George Granberry Wolfgang Ahrendt Moa Johansson 146 4 0 21 Jun 2024
Is Programming by Example solved by LLMs? Wen-Ding Li Kevin Ellis 83 13 0 12 Jun 2024
Learning to Edit Visual Programs with Self-Supervision R. K. Jones Renhao Zhang Aditya Ganeshan Daniel E. Ritchie SSL 86 3 0 04 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 143 5 0 26 May 2024
NExT: Teaching Large Language Models to Reason about Code Execution Ansong Ni Miltiadis Allamanis Arman Cohan Yinlin Deng Kensen Shi Charles Sutton Pengcheng Yin ReLM LRM 122 45 0 23 Apr 2024
Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit Yao Wan Yang He Zhangqian Bi Jianguo Zhang Hongyu Zhang Yulei Sui Guandong Xu Hai Jin Philip S. Yu 97 25 0 30 Dec 2023
Enhancing Robot Program Synthesis Through Environmental Context Tianyi Chen Qidi Wang Zhen Dong Liwei Shen Xin Peng 45 4 0 13 Dec 2023
Coffee: Boost Your Code LLMs by Fixing Bugs with Feedback Seungjun Moon Hyungjoo Chae Yongho Song Taeyoon Kwon Dongjin Kang Kai Tzu-iunn Ong Seung-won Hwang Jinyoung Yeo KELM 75 11 0 13 Nov 2023
Large Language Models as Analogical Reasoners Michihiro Yasunaga Xinyun Chen Yujia Li Panupong Pasupat J. Leskovec Percy Liang Ed H. Chi Denny Zhou ReLM LRM 108 86 0 03 Oct 2023
Is Self-Repair a Silver Bullet for Code Generation? Theo X. Olausson J. Inala Chenglong Wang Jianfeng Gao Armando Solar-Lezama LRM 127 121 0 16 Jun 2023
SelfEvolve: A Code Evolution Framework via Large Language Models Shuyang Jiang Yuhao Wang Yu Wang 91 39 0 05 Jun 2023
Neural Task Synthesis for Visual Programming Victor-Alexandru Pădurean Georgios Tzannetos Adish Singla 108 17 0 26 May 2023
Fully Autonomous Programming with Large Language Models Vadim Liventsev Anastasiia Grishina Aki Härmä Leon Moonen ELM 91 40 0 20 Apr 2023
Teaching Large Language Models to Self-Debug Xinyun Chen Maxwell Lin Nathanael Scharli Denny Zhou LRM 137 711 0 11 Apr 2023
RunBugRun -- An Executable Dataset for Automated Program Repair Julian Aron Prenner Romain Robbes 57 11 0 03 Apr 2023
Planning with Large Language Models for Code Generation Shun Zhang Zhenfang Chen Songlin Yang Mingyu Ding J. Tenenbaum Chuang Gan 105 163 0 09 Mar 2023
BenchDirect: A Directed Language Model for Compiler Benchmarks Foivos Tsimpourlas Pavlos Petoumenos Min Xu Chris Cummins K. Hazelwood A. Rajan Hugh Leather ELM 47 3 0 02 Mar 2023
A Survey on Natural Language Processing for Programming Qingfu Zhu Xianzhen Luo Fang Liu Cuiyun Gao Wanxiang Che 74 3 0 12 Dec 2022
Generating Sequences by Learning to Self-Correct Sean Welleck Ximing Lu Peter West Faeze Brahman T. Shen Daniel Khashabi Yejin Choi LRM 111 238 0 31 Oct 2022
ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications Alex Gu Tamara Mitrovska D. Vélez Jacob Andreas Armando Solar-Lezama SyDa 76 1 0 20 Oct 2022
BenchPress: A Deep Active Benchmark Generator Foivos Tsimpourlas Pavlos Petoumenos Min Xu Chris Cummins K. Hazelwood A. Rajan Hugh Leather 51 3 0 13 Aug 2022
Tensor Program Optimization with Probabilistic Programs Junru Shao Xiyou Zhou Siyuan Feng Bohan Hou Ruihang Lai Hongyi Jin Wuwei Lin Masahiro Masuda Cody Hao Yu Tianqi Chen 88 31 0 26 May 2022
Neural Program Synthesis with Query Di Huang Rui Zhang Xing Hu Xishan Zhang Pengwei Jin Nan Li Zidong Du Qi Guo Yunji Chen 38 2 0 08 May 2022
Learning to Combine Instructions in LLVM Compiler Sandya Mannarswamy Dibyendu Das 88 3 0 22 Feb 2022
Programmatic Policy Extraction by Iterative Local Search Rasmus Larsen Mikkel N. Schmidt 27 0 0 18 Jan 2022
Transcribing Natural Languages for The Deaf via Neural Editing Programs Dongxu Li Chenchen Xu Liu Liu Yiran Zhong Rongzhao Wang L. Petersson Hongdong Li 40 10 0 17 Dec 2021
Latent Execution for Neural Program Synthesis Xinyun Chen Basel Alomair Yuandong Tian NAI 118 53 0 29 Jun 2021
Learning to Combine Per-Example Solutions for Neural Program Synthesis Disha Shrivastava Hugo Larochelle Daniel Tarlow NAI 62 13 0 14 Jun 2021
Case-based Reasoning for Natural Language Queries over Knowledge Bases Rajarshi Das Manzil Zaheer Dung Ngoc Thai Ameya Godbole Ethan Perez Jay Yoon Lee Lizhen Tan L. Polymenakos Andrew McCallum 111 169 0 18 Apr 2021
ControlFlag: A Self-Supervised Idiosyncratic Pattern Detection System for Software Control Structures N. Hasabnis Justin Emile Gottschlich 49 14 0 06 Nov 2020