TY  - RPRT
TI  - FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning
AU  - Haoran Ding
AU  - Zhaoguo Wang
AU  - Haibo Chen
PY  - 2026
UR  - https://arxiv.org/abs/2604.11556
ID  - 2604.11556
ER  -