@misc{indiciae50bea139bbbd,
  title = {VeruSteer: Learning What to Repair Next in Verus},
  author = {Chao Jiang and Ding Wang and Chaohua Yang and Dugang Liu and Zhiwu Xu and Cheng Wen and Zhong Ming and Yuwei Liu and Xinyi Wan and Lin Huang},
  year = {2026},
  url = {https://arxiv.org/abs/2610.29755},
  note = {Source identifier: 2610.29755}
}