Image de couverture de livre

Feedback-based Automated Verification in Vibe Coding of CAS Adaptation Built on Constraint Logic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Töpfer, Michal, Plášil, František, Bureš, Tomáš, Hnětynka, Petr
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Academic Vibe Coding: Opportunities for Accelerating Research in an Era of Resource Constraint
par: Crowson, Matthew G, et autres
Publié: (2025)

A Survey of Vibe Coding with Large Language Models
par: Ge, Yuyao, et autres
Publié: (2025)

Vibe Coding an LLM-powered Theorem Prover
par: Hou, Zhe
Publié: (2026)

When Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof Tutoring
par: Yasir, Tahreem, et autres
Publié: (2026)

Vibe-driven model-based engineering
par: Cabot, Jordi
Publié: (2026)

VIBEPASS: Can Vibe Coders Really Pass the Vibe Check?
par: Bansal, Srijan, et autres
Publié: (2026)

To Vibe Research or Not to Vibe Research? Generative AI in Qualitative Research
par: Karhu, Katja, et autres
Publié: (2026)

VibeGuard: A Security Gate Framework for AI-Generated Code
par: Xie, Ying
Publié: (2026)

Vibe Coding in Practice: Flow, Technical Debt, and Guidelines for Sustainable Use
par: Waseem, Muhammad, et autres
Publié: (2025)

Tutoring LLM into a Better CUDA Optimizer
par: Brabec, Matyáš, et autres
Publié: (2025)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
par: Heuer, Jan
Publié: (2023)

Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI
par: Sapkota, Ranjan, et autres
Publié: (2025)

SecureVibeBench: Benchmarking Secure Vibe Coding of AI Agents via Reconstructing Vulnerability-Introducing Scenarios
par: Chen, Junkai, et autres
Publié: (2025)

Why Human Guidance Matters in Collaborative Vibe Coding
par: Hu, Haoyu, et autres
Publié: (2026)

Vibe Checker: Aligning Code Evaluation with Human Preference
par: Zhong, Ming, et autres
Publié: (2025)

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

Vibe Coding on Trial: Operating Characteristics of Unanimous LLM Juries
par: Ullah, Muhammad Aziz, et autres
Publié: (2026)

Automated Repair of AI Code with Large Language Models and Formal Verification
par: Charalambous, Yiannis, et autres
Publié: (2024)

Multitask Kernel-based Learning with Logic Constraints
par: Diligenti, Michelangelo, et autres
Publié: (2024)

Vibe coding before the trend
par: van Bokhorst, Leon, et autres
Publié: (2026)

(R)evolution of Programming: Vibe Coding as a Post-Coding Paradigm
par: Krings, Kevin, et autres
Publié: (2025)

Unpacking Vibe Coding: Help-Seeking Processes in Student-AI Interactions While Programming
par: Rinja, Daiana, et autres
Publié: (2026)

Interrogating Design Homogenization in Web Vibe Coding
par: Shin, Donghoon, et autres
Publié: (2026)

The Vibe-Automation of Automation: A Proactive Education Framework for Computer Science in the Age of Generative AI
par: Levin, Ilya
Publié: (2026)

Vibe Learning: Education in the age of AI
par: Florencio, Marcos, et autres
Publié: (2025)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
par: Wu, Yanrui, et autres
Publié: (2026)

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

Tiny Model, Big Logic: Diversity-Driven Optimization Elicits Large-Model Reasoning Ability in VibeThinker-1.5B
par: Xu, Sen, et autres
Publié: (2025)

Professional Software Developers Don't Vibe, They Control: AI Agent Use for Coding in 2025
par: Huang, Ruanqianqian, et autres
Publié: (2025)

Automating Code Adaptation for MLOps -- A Benchmarking Study on LLMs
par: Patel, Harsh, et autres
Publié: (2024)

Vibe Coding in Product Teams: Reconfiguring AI-Assisted Workflows, Prototyping, and Collaboration
par: Li, Jie, et autres
Publié: (2025)

Can Vibe Coding Beat Graduate CS Students? An LLM vs. Human Coding Tournament on Market-driven Strategic Planning
par: Danassis, Panayiotis, et autres
Publié: (2025)

Cross-Border Legal Adaptation of Autonomous Vehicle Design based on Logic and Non-monotonic Reasoning
par: Yu, Zhe, et autres
Publié: (2025)

VibeCodeHPC: An Agent-Based Iterative Prompting Auto-Tuner for HPC Code Generation Using LLMs
par: Hayashi, Shun-ichiro, et autres
Publié: (2025)

Vibe Coding as a Reconfiguration of Intent Mediation in Software Development: Definition, Implications, and Research Agenda
par: Meske, Christian, et autres
Publié: (2025)

From Research Question to Scientific Workflow: Leveraging Agentic AI for Science Automation
par: Balis, Bartosz, et autres
Publié: (2026)

RuCCoD: Towards Automated ICD Coding in Russian
par: Nesterov, Aleksandr, et autres
Publié: (2025)

VibeVoice Technical Report
par: Peng, Zhiliang, et autres
Publié: (2025)

Automated Conjecture Resolution with Formal Verification
par: Ju, Haocheng, et autres
Publié: (2026)