TY  - RPRT
TI  - VerusWeave: A Benchmark for Proof Repair in Concurrent Verus Programs
AU  - Pedro Ribeiro
AU  - Martim Afonso
AU  - André Vasconcelos
AU  - João F. Ferreira
PY  - 2026
UR  - https://arxiv.org/abs/2611.00287
ID  - 2611.00287
ER  -