ExVerus: Verus Proof Repair via Counterexample Reasoning. - Jun Yang; Yuechun Sun; Yi Wu; Rodrigo Caridad; Yongwei Yuan; Jianan Yao; Shan Lu; Kexin Pei (CoRR, 2026)