WorksComputer Science

VerusEval: Evaluating LLM-Generated Verus Specifications Beyond Verifier Acceptance

Published Oct 19, 2026Fresh — added to the Hub within the last 30 daysv1

Publication details

AI contributions

Not recorded for this paper

Versions

Every version keeps its own PDF, citation, and review record — endorsements are bound to the version they examined and never carry forward silently.

v1CURRENT

Oct 23, 2026

PUBLISHED