Topic
formal methods
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
Artificial Intelligence #ai#artificial intelligence
Efficient and Sound Probabilistic Verification Secures AI Agents Against Policy Violations
Researchers introduce a sound and efficient framework for probabilistic verification of AI agents, addressing the need for enforcing security policies under ambiguity. The approach computes upper bounds on violation probability without independence assumptions, outperforming prior art on standard benchmarks.
Jun 20, 2026 1 source