Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Toward Safe LLM Agents: A Survey of Specification, Verification, and Enforcement
Pierre Dantas, Lucas Cordeiro, Ehsan Nowroozi +1
LLM agents increasingly perform irreversible real-world actions, including database updates, API calls, file operations, and autonomous use of tools. However, no existing system pr…
cs.AI2026
The 4/ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
Pierre Dantas, Lucas Cordeiro, Youcheng Sun +1
The integration of Formal Verification tools with Large Language Models (LLMs) offers a path to scale software verification beyond manual workflows. However, current methods remain…