TY  - RPRT
TI  - InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs
AU  - Guangyuan Wu
AU  - Weining Cao
AU  - Zehui Tan
AU  - Yuan Yao
AU  - Hengfeng Wei
AU  - Taolue Chen
AU  - Xiaoxing Ma
PY  - 2026
UR  - https://arxiv.org/abs/2607.05478
ID  - 2607.05478
ER  -