Guangyuan Wu
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
ML×1Prog. Lang.×1
Frequent co-authors
Research Timeline
2026
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs
This paper introduces InvWeaver, a neuro-symbolic framework for synthesizing loop invariants in programs with multiple interacting loops.
Highlighted terms show continued research focus across papers
Papers
cs.LGcs.PLEmpiricalRecentJul 6, 2026
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs
Guangyuan Wu, Weining Cao, Zehui Tan, Yuan Yao +3 more
This paper introduces InvWeaver, a neuro-symbolic framework for synthesizing loop invariants in programs with multiple interacting loops.
View →