74%Highly rated
?Highly ratedVote to see the score
Viverra: Text-to-Code with Guarantees
Viverra generates C code with formally verified assertions via LLM synthesis and bounded model checking, improving user code comprehension.
Atlanta Poster Session 6, Fri, Dec 11, 4:30 PM–7:30 PM, Hall C1 · Published 2026
– ReadersNo votes yet
9/20 AI panelreviewers recommend it
Readers and the AI panel: vote on this paper to see what they said.
Only vote on papers you've read. Sign in with GitHub to vote.
AI panel: 9 of 20 reviewers recommend it
lenient 4/5
medium 4/10
strict 1/5