Imagen de Portada

Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Töpfer, Michal, Plášil, František, Bureš, Tomáš, Hnětynka, Petr
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Feedback-based Automated Verification in Vibe Coding of CAS Adaptation Built on Constraint Logic
por: Töpfer, Michal, et al.
Publicado: (2026)

Vibe Coding in Practice: Flow, Technical Debt, and Guidelines for Sustainable Use
por: Waseem, Muhammad, et al.
Publicado: (2025)

Vibe Checker: Aligning Code Evaluation with Human Preference
por: Zhong, Ming, et al.
Publicado: (2025)

Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI
por: Sapkota, Ranjan, et al.
Publicado: (2025)

Automated Repair of AI Code with Large Language Models and Formal Verification
por: Charalambous, Yiannis, et al.
Publicado: (2024)

Ambiguity Resolution with Human Feedback for Code Writing Tasks
por: Nandan, Aditey, et al.
Publicado: (2025)

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

Is Vibe Coding the Future? An Empirical Assessment of LLM Generated Codes for Construction Safety
por: Uddin, S M Jamil
Publicado: (2026)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
por: Erfan, Md, et al.
Publicado: (2026)

Vibe Coding on Trial: Operating Characteristics of Unanimous LLM Juries
por: Ullah, Muhammad Aziz, et al.
Publicado: (2026)

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
por: Li, Zenan, et al.
Publicado: (2026)

VIBEPASS: Can Vibe Coders Really Pass the Vibe Check?
por: Bansal, Srijan, et al.
Publicado: (2026)

To Vibe Research or Not to Vibe Research? Generative AI in Qualitative Research
por: Karhu, Katja, et al.
Publicado: (2026)

Previously on... Automating Code Review
por: Heumüller, Robert, et al.
Publicado: (2025)

VibeCodeHPC: An Agent-Based Iterative Prompting Auto-Tuner for HPC Code Generation Using LLMs
por: Hayashi, Shun-ichiro, et al.
Publicado: (2025)

Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development
por: Koch, Christopher
Publicado: (2026)

(R)evolution of Programming: Vibe Coding as a Post-Coding Paradigm
por: Krings, Kevin, et al.
Publicado: (2025)

Chatbot-Based Assessment of Code Understanding in Automated Programming Assessment Systems
por: Frankford, Eduard, et al.
Publicado: (2026)

Reflective Paper-to-Code Reproduction Enabled by Fine-Grained Verification
por: Zhou, Mingyang, et al.
Publicado: (2025)

Enhancing LLM-Based Code Generation with Complexity Metrics: A Feedback-Driven Approach
por: Sepidband, Melika, et al.
Publicado: (2025)

SecureVibeBench: Benchmarking Secure Vibe Coding of AI Agents via Reconstructing Vulnerability-Introducing Scenarios
por: Chen, Junkai, et al.
Publicado: (2025)

Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements
por: Abtahi, Seyed Moein, et al.
Publicado: (2025)

Towards Continuous Experiment-driven MLOps
por: Rajenthiram, Keerthiga, et al.
Publicado: (2025)

Using a Feedback Loop for LLM-based Infrastructure as Code Generation
por: Palavalli, Mayur Amarnath, et al.
Publicado: (2024)

Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs
por: Ngassom, Sylvain Kouemo, et al.
Publicado: (2024)

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
por: Cramer, Marcos, et al.
Publicado: (2025)

Code for Machines, Not Just Humans: Quantifying AI-Friendliness with Code Health Metrics
por: Borg, Markus, et al.
Publicado: (2026)

Learning to Code with Context: A Study-Based Approach
por: Borghoff, Uwe M., et al.
Publicado: (2025)

Learning to Align Human Code Preferences
por: Yin, Xin, et al.
Publicado: (2025)

Academic Vibe Coding: Opportunities for Accelerating Research in an Era of Resource Constraint
por: Crowson, Matthew G, et al.
Publicado: (2025)

Automated Classification of Source Code Changes Based on Metrics Clustering in the Software Development Process
por: Kniazev, Evgenii
Publicado: (2026)

Vibe Coding as a Reconfiguration of Intent Mediation in Software Development: Definition, Implications, and Research Agenda
por: Meske, Christian, et al.
Publicado: (2025)

Automated Snippet-Alignment Data Augmentation for Code Translation
por: Zhang, Zhiming, et al.
Publicado: (2025)

BugSpotter: Automated Generation of Code Debugging Exercises
por: Pădurean, Victor-Alexandru, et al.
Publicado: (2024)

Auto-SPT: Automating Semantic Preserving Transformations for Code
por: Hooda, Ashish, et al.
Publicado: (2025)

Automated Benchmark Generation for Repository-Level Coding Tasks
por: Vergopoulos, Konstantinos, et al.
Publicado: (2025)

Professional Software Developers Don't Vibe, They Control: AI Agent Use for Coding in 2025
por: Huang, Ruanqianqian, et al.
Publicado: (2025)

Vibe-driven model-based engineering
por: Cabot, Jordi
Publicado: (2026)

Verification Limits Code LLM Training
por: Gureja, Srishti, et al.
Publicado: (2025)

Hallucination in LLM-Based Code Generation: An Automotive Case Study
por: Pavel, Marc, et al.
Publicado: (2025)