@article{InvWeaver:arXiv2026,
  author = {Wu, Guangyuan and Cao, Weining and Tan, Zehui and Yao, Yuan and Wei, Hengfeng and Chen, Taolue and Ma, Xiaoxing},
  title = {InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs},
  journal = {arXiv preprint arXiv:2607.05478},
  year = {2026},
  url = {https://arxiv.org/abs/2607.05478}
}