ARGUS: Agentic GPU Optimization Guided by Data-Flow Invariants. - Haohui Mai; Xiaoyan Guo; Xiangyun Ding; Daifeng Li; Qiuchu Yu; Chenzhun Guo; Cong Wang; Jiacheng Zhao; Christos Kozyrakis; Binhang Yuan (CoRR, 2026)