Petr Hnvetynka

Papers on Lattice

Total citations

Topics

h-index

Research focus

Code Generation & Program Synthesis (1)Eval Frameworks & Benchmarks (1)Tool Use & Agents (1)

Frequent co-authors

Michal Topfer (1)Frantivsek Pl'avsil (1)Tom'avs Burevs (1)

Papers (1)

Apr 16, 2026

Michal Topfer +3Apr 16, 2026

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

Forget manual code reviews: precise, automated feedback on constraint violations lets LLMs iteratively refine code for runtime-adaptive systems, achieving validity without human intervention.

Michal Topfer, Frantivsek Pl'avsil, Tom'avs Burevs +1

Code Generation & Program Synthesis Eval Frameworks & Benchmarks Tool Use & Agents

Petr Hnvetynka

Research focus

Frequent co-authors

Papers (1)

Search

Petr Hnvetynka

Research focus

Frequent co-authors

Papers (1)