Image de couverture de livre

Automated Repair of AI Code with Large Language Models and Formal Verification

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Charalambous, Yiannis, Manino, Edoardo, Cordeiro, Lucas C.
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification
par: Charalambous, Yiannis, et autres
Publié: (2025)

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
par: Pirzada, Muhammad A. A., et autres
Publié: (2026)

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
par: Tihanyi, Norbert, et autres
Publié: (2023)

Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
par: Tihanyi, Norbert, et autres
Publié: (2025)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
par: Erfan, Md, et autres
Publié: (2026)

Towards Automated Formal Verification of Backend Systems with LLMs
par: Xu, Kangping, et autres
Publié: (2025)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
par: Kirchner, Sven, et autres
Publié: (2025)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
par: Wang, Weiqi, et autres
Publié: (2025)

INTERVENOR: Prompting the Coding Ability of Large Language Models with the Interactive Chain of Repair
par: Wang, Hanbin, et autres
Publié: (2023)

RepoRepair: Leveraging Code Documentation for Repository-Level Automated Program Repair
par: Pan, Zhongqiang, et autres
Publié: (2026)

Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements
par: Abtahi, Seyed Moein, et autres
Publié: (2025)

Exploring and Unleashing the Power of Large Language Models in Automated Code Translation
par: Yang, Zhen, et autres
Publié: (2024)

Automated Code Review Using Large Language Models with Symbolic Reasoning
par: Icoz, Busra, et autres
Publié: (2025)

Floating-Point Neural Network Verification at the Software Level
par: Manino, Edoardo, et autres
Publié: (2025)

Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code
par: Blain, Dominik, et autres
Publié: (2026)

MergeRepair: An Exploratory Study on Merging Task-Specific Adapters in Code LLMs for Automated Program Repair
par: Dehghan, Meghdad, et autres
Publié: (2024)

Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study
par: Töpfer, Michal, et autres
Publié: (2026)

CIAO - Code In Architecture Out - Automated Software Architecture Documentation with Large Language Models
par: De Luca, Marco, et autres
Publié: (2026)

Verifying components of Arm(R) Confidential Computing Architecture with ESBMC
par: Wu, Tong, et autres
Publié: (2024)

Peer-aided Repairer: Empowering Large Language Models to Repair Advanced Student Assignments
par: Zhao, Qianhui, et autres
Publié: (2024)

Formal Architecture Descriptors as Navigation Primitives for AI Coding Agents
par: Jin, Ruoqi
Publié: (2026)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
par: Richter, Cedric, et autres
Publié: (2025)

Automating Patch Set Generation from Code Review Comments Using Large Language Models
par: Rahman, Tajmilur, et autres
Publié: (2024)

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
par: Corazza, Jan, et autres
Publié: (2025)

Automated Program Repair of Uncompilable Student Code
par: Pitts, Griffin, et autres
Publié: (2025)

Code Security Vulnerability Repair Using Reinforcement Learning with Large Language Models
par: Islam, Nafis Tanveer, et autres
Publié: (2024)

Enhancing Code Consistency in AI Research with Large Language Models and Retrieval-Augmented Generation
par: Keshri, Rajat, et autres
Publié: (2025)

Automating the Detection of Requirement Dependencies Using Large Language Models
par: Darif, Ikram, et autres
Publié: (2026)

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
par: Sun, Chuyue, et autres
Publié: (2025)

Large Language Model Guided Self-Debugging Code Generation
par: Adnan, Muntasir, et autres
Publié: (2025)

A Multi-Dataset Evaluation of Models for Automated Vulnerability Repair
par: Khan, Zanis Ali, et autres
Publié: (2025)

Bugs in Large Language Models Generated Code: An Empirical Study
par: Tambon, Florian, et autres
Publié: (2024)

Impact of Code Context and Prompting Strategies on Automated Unit Test Generation with Modern General-Purpose Large Language Models
par: Walczak, Jakub, et autres
Publié: (2025)

Evaluating Large Language Models for Code Review
par: Cihan, Umut, et autres
Publié: (2025)

Improving MPI Error Detection and Repair with Large Language Models and Bug References
par: Piersall, Scott, et autres
Publié: (2026)

Adopting Large Language Models to Automated System Integration
par: Pesl, Robin D.
Publié: (2025)

Multi Language Models for On-the-Fly Syntax Highlighting
par: Palma, Marco Edoardo, et autres
Publié: (2025)

MarsCode Agent: AI-native Automated Bug Fixing
par: Liu, Yizhou, et autres
Publié: (2024)

Automating the Correctness Assessment of AI-generated Code for Security Contexts
par: Cotroneo, Domenico, et autres
Publié: (2023)

Hybrid-Code v2: Zero-Hallucination Clinical ICD-10 Coding via Neuro-Symbolic Verification and Automated Knowledge Base Expansion
par: Yu, Yunguo
Publié: (2025)