@misc{indiciaedd5401452422,
  title = {Automated Lemma Discovery in Agentic Program Verification},
  author = {Huan Zhao and Haoxin Tu and Zhengyao Liu and Martin C. Rinard and Abhik Roychoudhury},
  year = {2026},
  doi = {10.1145/3832783.3834356},
  url = {https://arxiv.org/abs/2603.22114},
  note = {Source identifier: 2603.22114}
}