Latent Execution for Neural Program Synthesis

29 June 2021

Papers citing "Latent Execution for Neural Program Synthesis"

36 / 36 papers shown

Title
Fully Autonomous Programming using Iterative Multi-Agent Debugging with Large Language Models Anastasiia Grishina Vadim Liventsev Aki Härmä Leon Moonen ELM 77 0 0 10 Mar 2025
Towards Efficient Neurally-Guided Program Induction for ARC-AGI Simon Ouellette 66 1 0 13 Nov 2024
COOL: Efficient and Reliable Chain-Oriented Objective Logic with Neural Networks Feedback Control for Program Synthesis Jipeng Han 34 0 0 02 Oct 2024
AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning Janis Zenkner Lukas Dierkes Tobias Sesterhenn Chrisitan Bartelt 29 1 0 27 May 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 53 4 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 26 34 0 23 Apr 2024
Learning Human Preferences Over Robot Behavior as Soft Planning Constraints Austin Narcomey Nathan Tsoi Ruta Desai Marynel Vázquez 41 3 0 28 Mar 2024
Grounding Data Science Code Generation with Input-Output Specifications Yeming Wen Pengcheng Yin Kensen Shi Henryk Michalewski Swarat Chaudhuri A. Polozov SyDa 24 10 0 12 Feb 2024
AST-T5: Structure-Aware Pretraining for Code Generation and Understanding Linyuan Gong Mostafa Elhoushi Alvin Cheung 29 11 0 05 Jan 2024
Enhancing Robot Program Synthesis Through Environmental Context Tianyi Chen Qidi Wang Zhen Dong Liwei Shen Xin Peng 13 4 0 13 Dec 2023
$$\mathcal{B}$-Coder: Value-Based Deep Reinforcement Learning for Program Synthesis$ $\mathcal{B}$ -Coder: Value-Based Deep Reinforcement Learning for Program Synthesis Zishun Yu Yunzhe Tao Liyu Chen Tao Sun Hongxia Yang 24 7 0 04 Oct 2023
Large Language Models for Software Engineering: A Systematic Literature Review Xinying Hou Yanjie Zhao Yue Liu Zhou Yang Kailong Wang Li Li Xiapu Luo David Lo John C. Grundy Haoyu Wang 25 322 0 21 Aug 2023
MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework Sirui Hong Mingchen Zhuge Jonathan Chen Xiawu Zheng Yuheng Cheng ... Liyang Zhou Chenyu Ran Lingfeng Xiao Chenglin Wu Jürgen Schmidhuber LLMAG AIFin 16 548 0 01 Aug 2023
ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis Kensen Shi Joey Hong Yinlin Deng Pengcheng Yin Manzil Zaheer Charles Sutton 18 18 0 26 Jul 2023
Natural Language Commanding via Program Synthesis Apurva Gandhi Thong Q. Nguyen Huitian Jiao R. Steen Ameya Bhatawdekar 19 7 0 06 Jun 2023
LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas Kensen Shi H. Dai Wen-Ding Li Kevin Ellis Charles Sutton 18 6 0 03 Jun 2023
Coarse-Tuning Models of Code with Reinforcement Learning Feedback Abhinav C. P. Jain Chima Adiole Swarat Chaudhuri Thomas W. Reps Chris Jermaine Rice University ALM 12 1 0 25 May 2023
Voyager: An Open-Ended Embodied Agent with Large Language Models Guanzhi Wang Yuqi Xie Yunfan Jiang Ajay Mandlekar Chaowei Xiao Yuke Zhu Linxi Fan Anima Anandkumar LM&Ro SyDa 46 750 0 25 May 2023
Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation Wenqing Zheng S. Sharan Ajay Jaiswal Kevin Wang Yihan Xi Dejia Xu Zhangyang Wang 44 24 0 28 Apr 2023
Fully Autonomous Programming with Large Language Models Vadim Liventsev Anastasiia Grishina Aki Härmä Leon Moonen ELM 29 37 0 20 Apr 2023
Teaching Large Language Models to Self-Debug Xinyun Chen Maxwell Lin Nathanael Scharli Denny Zhou LRM 36 639 0 11 Apr 2023
Neuro-Symbolic Execution of Generic Source Code Yaojie Hu Jin Tian NAI 22 0 0 23 Mar 2023
Planning with Large Language Models for Code Generation Shun Zhang Zhenfang Chen Yikang Shen Mingyu Ding J. Tenenbaum Chuang Gan 35 146 0 09 Mar 2023
LEVER: Learning to Verify Language-to-Code Generation with Execution Ansong Ni Srini Iyer Dragomir R. Radev Ves Stoyanov Wen-tau Yih Sida I. Wang Xi Victoria Lin 21 209 0 16 Feb 2023
Execution-based Code Generation using Deep Reinforcement Learning Parshin Shojaee Aneesh Jain Sindhu Tipirneni Chandan K. Reddy 23 50 0 31 Jan 2023
E-MAPP: Efficient Multi-Agent Reinforcement Learning with Parallel Program Guidance C. Chang Ni Mu Jiajun Wu Ling Pan Huazhe Xu 43 7 0 05 Dec 2022
Synthesizing Programs with Continuous Optimization Shantanu Mandal T. A. Anderson Javier S. Turek Justin Emile Gottschlich A. Muzahid 11 2 0 02 Nov 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 124 237 0 05 Jul 2022
Unveiling Transformers with LEGO: a synthetic reasoning task Yi Zhang A. Backurs Sébastien Bubeck Ronen Eldan Suriya Gunasekar Tal Wagner LRM 28 85 0 09 Jun 2022
Fault-Aware Neural Code Rankers J. Inala Chenglong Wang Mei Yang Andrés Codas Mark Encarnación Shuvendu K. Lahiri Madan Musuvathi Jianfeng Gao ALM 19 41 0 04 Jun 2022
Learning Math Reasoning from Self-Sampled Correct and Partially-Correct Solutions Ansong Ni J. Inala Chenglong Wang Oleksandr Polozov Christopher Meek Dragomir R. Radev Jianfeng Gao ReLM AIMat LRM 19 42 0 28 May 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 15 28 0 26 May 2022
SMARAGD: Learning SMatch for Accurate and Rapid Approximate Graph Distance Juri Opitz Philipp Meier Anette Frank 11 1 0 24 Mar 2022
Learning to Synthesize Programs as Interpretable and Generalizable Policies Dweep Trivedi Jesse Zhang Shao-Hua Sun Joseph J. Lim NAI 9 71 0 31 Aug 2021
Measuring Coding Challenge Competence With APPS Dan Hendrycks Steven Basart Saurav Kadavath Mantas Mazeika Akul Arora ... Collin Burns Samir Puranik Horace He D. Song Jacob Steinhardt ELM AIMat ALM 194 623 0 20 May 2021
Effective Approaches to Attention-based Neural Machine Translation Thang Luong Hieu H. Pham Christopher D. Manning 214 7,923 0 17 Aug 2015