Abductive Vibe Coding (Extended Abstract)
By: Logan Murphy, Aren A. Babikian, Marsha Chechik
Potential Business Impact:
Helps check if AI-made code works right.
When software artifacts are generated by AI models ("vibe coding"), human engineers assume responsibility for validating them. Ideally, this validation would be done through the creation of a formal proof of correctness. However, this is infeasible for many real-world vibe coding scenarios, especially when requirements for the AI-generated artifacts resist formalization. This extended abstract describes ongoing work towards the extraction of analyzable, semi-formal rationales for the adequacy of vibe-coded artifacts. Rather than deciding correctness directly, our framework produces a set of conditions under which the generated code can be considered adequate. We describe current efforts towards implementing our framework and anticipated research opportunities.
Similar Papers
Vibe Coding: Toward an AI-Native Paradigm for Semantic and Intent-Driven Programming
Software Engineering
AI writes code from your feelings and ideas.
Vibe Coding in Practice: Motivations, Challenges, and a Future Outlook -- a Grey Literature Review
Software Engineering
AI helps build apps fast, but code might break.
Vibe Coding as a Reconfiguration of Intent Mediation in Software Development: Definition, Implications, and Research Agenda
Software Engineering
Helps people build computer programs faster with AI.