Artificial Intelligence #formal methods#llm
FM-Agent: New Framework Automates Formal Code Verification for Large-Scale LLM-Generated Software
FM-Agent, a new framework from researchers, automates compositional reasoning for large-scale systems using LLMs. It generates function-level specifications from caller expectations, enabling verification against natural-language intent. In evaluation, it found 522 new bugs in systems up to 143,000 lines of code within 2 days.
Jun 21, 2026 1 source