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

Documenti analoghi

• UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification
  di: Charalambous, Yiannis, et al.
  Pubblicazione: (2025)
• ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
  di: Pirzada, Muhammad A. A., et al.
  Pubblicazione: (2026)
• A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
  di: Tihanyi, Norbert, et al.
  Pubblicazione: (2023)
• Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
  di: Tihanyi, Norbert, et al.
  Pubblicazione: (2025)
• From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
  di: Erfan, Md, et al.
  Pubblicazione: (2026)