TY  - RPRT
TI  - ExVerus: Verus Proof Repair via Counterexample Reasoning
AU  - Jun Yang
AU  - Yuechun Sun
AU  - Yi Wu
AU  - Rodrigo Caridad
AU  - Yongwei Yuan
AU  - Jianan Yao
AU  - Shan Lu
AU  - Kexin Pei
PY  - 2026
UR  - https://arxiv.org/abs/2603.25810
ID  - 2603.25810
ER  -