评分 6 · 来源：cs.AI updates on arXiv.org · 发布于 2026-04-14
评分依据：Using LLMs for compositional Hoare logic reasoning to scale formal verification. Bridges formal methods and LLM-assisted code generation practically.
FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning
发布
采集
学术前沿 6.0 分
— Using LLMs for compositional Hoare logic reasoning to scale formal verification. Bridges formal methods and LLM-assisted code generation practically.