@misc{indiciae80f93ca1b06b,
  title = {VerusWeave: A Benchmark for Proof Repair in Concurrent Verus Programs},
  author = {Pedro Ribeiro and Martim Afonso and André Vasconcelos and João F. Ferreira},
  year = {2026},
  url = {https://arxiv.org/abs/2611.00287},
  note = {Source identifier: 2611.00287}
}