ExVerus: Verus Proof Repair via Counterexample Reasoning

arXiv:2603.25810v1 Announce Type: new Abstract: Large Language Models (LLMs) have shown promising results in automating formal verification. However, existing approaches treat p...

Early report Major update Updated Mar 30, 2026, 4:00 AM UTC

Track this event Edit in app More event pages

What changed

arXiv: ExVerus: Verus Proof Repair via Counterexample Reasoning.

First seen Mar 30, 2026, 4:00 AM UTC Latest source Mar 30, 2026, 4:00 AM UTC

Update 1 1h ago

ExVerus: Verus Proof Repair via Counterexample Reasoning

arXiv •published Mar 30, 2026, 4:00 AM UTC •fetched Mar 30, 2026, 4:00 AM UTC