Agentic Program Verification. - Haoxin Tu; Huan Zhao; Yahui Song; Mehtab Zafar; Ruijie Meng; Abhik Roychoudhury (CoRR, 2025)