TY  - RPRT
TI  - Automated Lemma Discovery in Agentic Program Verification
AU  - Huan Zhao
AU  - Haoxin Tu
AU  - Zhengyao Liu
AU  - Martin C. Rinard
AU  - Abhik Roychoudhury
PY  - 2026
DO  - 10.1145/3832783.3834356
UR  - https://arxiv.org/abs/2603.22114
ID  - 2603.22114
ER  -