@misc{indiciaeca78507a6a18,
  title = {Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study},
  author = {Michal Töpfer and František Plášil and Tomáš Bureš and Petr Hnětynka},
  year = {2026},
  url = {https://arxiv.org/abs/2604.14867},
  note = {Source identifier: 2604.14867}
}