TY  - RPRT
TI  - SpecAgent: Empowering Program Verification with Agentic Synthesis of Formal Program Specifications
AU  - Lezhi Ma
AU  - Han Wang
AU  - Shangqing Liu
AU  - Jiawan Wang
AU  - Lei Bu
PY  - 2026
UR  - https://arxiv.org/abs/2610.05132
ID  - 2610.05132
ER  -