:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Töpfer, Michal, Plášil, František, Bureš, Tomáš, Hnětynka, Petr
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2602.18607
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study
by: Töpfer, Michal, et al.
Published: (2026)

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

A Survey of Vibe Coding with Large Language Models
by: Ge, Yuyao, et al.
Published: (2025)

Vibe Coding an LLM-powered Theorem Prover
by: Hou, Zhe
Published: (2026)

Tutoring LLM into a Better CUDA Optimizer
by: Brabec, Matyáš, et al.
Published: (2025)

Vibe-driven model-based engineering
by: Cabot, Jordi
Published: (2026)

When Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof Tutoring
by: Yasir, Tahreem, et al.
Published: (2026)

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

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

VibeGuard: A Security Gate Framework for AI-Generated Code
by: Xie, Ying
Published: (2026)

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

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

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

Why Human Guidance Matters in Collaborative Vibe Coding
by: Hu, Haoyu, et al.
Published: (2026)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
by: Heuer, Jan
Published: (2023)

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

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

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

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

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

Interrogating Design Homogenization in Web Vibe Coding
by: Shin, Donghoon, et al.
Published: (2026)

Vibe coding before the trend
by: van Bokhorst, Leon, et al.
Published: (2026)

Multitask Kernel-based Learning with Logic Constraints
by: Diligenti, Michelangelo, et al.
Published: (2024)

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

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

Unpacking Vibe Coding: Help-Seeking Processes in Student-AI Interactions While Programming
by: Rinja, Daiana, et al.
Published: (2026)

Vibe Learning: Education in the age of AI
by: Florencio, Marcos, et al.
Published: (2025)

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

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

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
by: Wu, Yanrui, et al.
Published: (2026)

Vibe Coding in Product Teams: Reconfiguring AI-Assisted Workflows, Prototyping, and Collaboration
by: Li, Jie, et al.
Published: (2025)

Automating Code Adaptation for MLOps -- A Benchmarking Study on LLMs
by: Patel, Harsh, et al.
Published: (2024)

Tiny Model, Big Logic: Diversity-Driven Optimization Elicits Large-Model Reasoning Ability in VibeThinker-1.5B
by: Xu, Sen, et al.
Published: (2025)

VibeVoice Technical Report
by: Peng, Zhiliang, et al.
Published: (2025)

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

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

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

RuCCoD: Towards Automated ICD Coding in Russian
by: Nesterov, Aleksandr, et al.
Published: (2025)

Vibe Code Bench: Evaluating AI Models on End-to-End Web Application Development
by: Tran, Hung, et al.
Published: (2026)

Automated Conjecture Resolution with Formal Verification
by: Ju, Haocheng, et al.
Published: (2026)