Validating AI-Generated Code with Live Programming

15 June 2023

Papers citing "Validating AI-Generated Code with Live Programming"

7 / 7 papers shown

Title
Human-AI Experience in Integrated Development Environments: A Systematic Literature Review Agnia Sergeyuk Ilya Zakharov Ekaterina Koshchenko M. Izadi 58 0 0 08 Mar 2025
Formal Mathematical Reasoning: A New Frontier in AI Kaiyu Yang Gabriel Poesia Jingxuan He Wenda Li Kristin Lauter Swarat Chaudhuri Dawn Song LRM AI4CE 82 20 0 20 Dec 2024
Need Help? Designing Proactive AI Assistants for Programming Valerie Chen Alan Zhu Sebastian Zhao Hussein Mozannar David Sontag Ameet Talwalkar 32 4 0 06 Oct 2024
Student-AI Interaction: A Case Study of CS1 students Matin Amoozadeh Daye Nam Daniel Prol Ali Alfageeh James Prather Michael Hilton Sruti Srinivasa Ragavan Mohammad Amin Alipour 27 4 0 29 Jun 2024
CoLadder: Supporting Programmers with Hierarchical Code Generation in Multi-Level Abstraction Ryan Yen Jiawen Zhu Sangho Suh Haijun Xia Jian Zhao 33 14 0 12 Oct 2023
Co-audit: tools to help humans double-check AI-generated content Andrew D. Gordon Carina Negreanu J. Cambronero Rasika Chakravarthy Ian Drosos ... Hannah Richardson Advait Sarkar Stephanie Simmons Jack Williams Ben Zorn 17 11 0 02 Oct 2023
Grounded Copilot: How Programmers Interact with Code-Generating Models Shraddha Barke M. James Nadia Polikarpova 136 212 0 30 Jun 2022