Interactive Code Generation via Test-Driven User-Intent Formalization

11 August 2022

Chenglong Wang

Papers citing "Interactive Code Generation via Test-Driven User-Intent Formalization"

31 / 31 papers shown

Title
ClarifyCoder: Clarification-Aware Fine-Tuning for Programmatic Problem Solving Jie JW Wu Manav Chaudhary Davit O. Abrahamyan Arhaan Khaku Anjiang Wei Fatemeh H. Fard SyDa 49 0 0 23 Apr 2025
Programming by Examples Meets Historical Linguistics: A Large Language Model Based Approach to Sound Law Induction Atharva Naik Darsh Agrawal Hong Sng Clayton Marr Kexun Zhang ... Kalvin Chang Rebecca Byrnes Aravind Mysore Carolyn Rose David R. Mortensen 26 0 0 27 Jan 2025
Can LLM Generate Regression Tests for Software Commits? Jing Liu Seongmin Lee Eleonora Losiouk Marcel Böhme 41 0 0 19 Jan 2025
Automated Proof Generation for Rust Code via Self-Evolution Tianyu Chen Shuai Lu Shan Lu Y. Gong Chenyuan Yang ... Peng Cheng Fan Yang Shuvendu Lahiri Tao Xie Lidong Zhou 44 7 0 21 Oct 2024
Data Analysis in the Era of Generative AI J. Inala Chenglong Wang Steven Drucker Gonzalo Ramos Victor C. Dibia N. Riche Dave Brown Dan Marshall Jianfeng Gao 29 7 0 27 Sep 2024
B4: Towards Optimal Assessment of Plausible Code Solutions with Plausible Tests Mouxiang Chen Zhongxin Liu He Tao Yusu Hong David Lo Xin Xia Jianling Sun 35 2 0 13 Sep 2024
Harnessing the Power of LLMs: Automating Unit Test Generation for High-Performance Computing Rabimba Karanjai Aftab Hussain Md Rafiqul Islam Rabin Lei Xu Weidong Shi Mohammad Amin Alipour 62 2 0 06 Jul 2024
Can Large Language Models Code Like a Linguist?: A Case Study in Low Resource Sound Law Induction Atharva Naik Kexun Zhang Nathaniel R. Robinson Aravind Mysore Clayton Marr Hong Sng Rebecca Byrnes Anna Cai Kalvin Chang David R. Mortensen 56 0 0 18 Jun 2024
Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages Shuvendu K. Lahiri 25 3 0 14 Jun 2024
IntelliExplain: Enhancing Interactive Code Generation through Natural Language Explanations for Non-Professional Programmers Hao Yan Thomas D. Latoza Ziyu Yao LRM 45 0 0 16 May 2024
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming Saikat Chakraborty Gabriel Ebner Siddharth Bhat Sarah Fakhoury Sakina Fatima Shuvendu K. Lahiri Nikhil Swamy 42 15 0 03 May 2024
Data-driven Discovery with Large Generative Models Bodhisattwa Prasad Majumder Harshit Surana Dhruv Agarwal Sanchaita Hazra Ashish Sabharwal Peter Clark 43 9 0 21 Feb 2024
Test-Driven Development for Code Generation N. Mathews Mei Nagappan 32 7 0 21 Feb 2024
Unit Test Generation using Generative AI : A Comparative Performance Analysis of Autogeneration Tools Shreya Bhatia Tarushi Gandhi Dhruv Kumar Pankaj Jalote LM&MA 22 21 0 17 Dec 2023
Automatic Unit Test Data Generation and Actor-Critic Reinforcement Learning for Code Synthesis P. Gorinski Matthieu Zimmer Gerasimos Lampouras Derrick-Goh-Xin Deik Ignacio Iacobacci ALM OffRL 40 3 0 20 Oct 2023
Incremental Learning of Humanoid Robot Behavior from Natural Interaction and Large Language Models Leonard Barmann Rainer Kartmann Fabian Peller-Konrad Jan Niehues Alexander H. Waibel Tamim Asfour LM&Ro 18 24 0 08 Sep 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 39 323 0 21 Aug 2023
Exploring and Characterizing Large Language Models For Embedded System Development and Debugging Zachary Englhardt R. Li Dilini Nissanka Zhihan Zhang Girish Narayanswamy Joseph Breda Xin Liu Shwetak N. Patel Vikram Iyer 27 17 0 07 Jul 2023
InterCode: Standardizing and Benchmarking Interactive Coding with Execution Feedback John Yang Akshara Prabhakar Karthik Narasimhan Shunyu Yao 22 102 0 26 Jun 2023
Validating AI-Generated Code with Live Programming Kasra Ferdowsi Ruanqianqian Huang M. James Nadia Polikarpova Sorin Lerner 27 13 0 15 Jun 2023
Self-Edit: Fault-Aware Code Editor for Code Generation Kechi Zhang Zhuo Li Jia Li Ge Li Zhi Jin 48 94 0 06 May 2023
"What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models Michael Xieyang Liu Advait Sarkar Carina Negreanu B. Zorn Jack Williams N. Toronto Andrew D. Gordon 29 106 0 13 Apr 2023
Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions Sarah Fakhoury Saikat Chakraborty Madan Musuvathi Shuvendu K. Lahiri 38 21 0 07 Apr 2023
A Comprehensive Survey of AI-Generated Content (AIGC): A History of Generative AI from GAN to ChatGPT Yihan Cao Siyu Li Yixin Liu Zhiling Yan Yutong Dai Philip S. Yu Lichao Sun 29 507 0 07 Mar 2023
Interactive Text Generation Felix Faltings Michel Galley Baolin Peng Kianté Brantley Weixin Cai Yizhe Zhang Jianfeng Gao Bill Dolan 30 0 0 02 Mar 2023
An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation Max Schäfer Sarah Nadi A. Eghbali F. Tip LM&MA 28 218 0 13 Feb 2023
Python Code Generation by Asking Clarification Questions Haau-Sing Li Mohsen Mesgar André F. T. Martins Iryna Gurevych 29 10 0 19 Dec 2022
CodeT: Code Generation with Generated Tests Bei Chen Fengji Zhang A. Nguyen Daoguang Zan Zeqi Lin Jian-Guang Lou Weizhu Chen 43 319 0 21 Jul 2022
Non-Programmers Can Label Programs Indirectly via Active Examples: A Case Study with Text-to-SQL Ruiqi Zhong Charles Burton Snell Dan Klein Jason Eisner 19 8 0 25 May 2022
Productivity Assessment of Neural Code Completion Albert Ziegler Eirini Kalliamvakou Shawn Simister Ganesh Sittampalam Alice Li Andrew Rice Devon Rifkin E. Aftandilian 102 177 0 13 May 2022
A Systematic Evaluation of Large Language Models of Code Frank F. Xu Uri Alon Graham Neubig Vincent J. Hellendoorn ELM ALM 204 631 0 26 Feb 2022