Explore
AI Tools
New Tools
AI Agents
One9 Worker
LLMs
RAG & Vector DBs
Research
Assemble a stack
Founder Stacks
Compare
How We Rate
About
$
/
₹
⌘K
Sign up free
Login
Back to papers
June 18, 2026
cs.CR
cs.AI
Efficient and Sound Probabilistic Verification for AI Agents
Alaia Solko-Breslin
,
Pramod Kaushik Mudrakarta
,
Mihai Christodorescu
,
Somesh Jha
,
Krishnamurthy Dj Dvijotham
Original Abstract
Read on arXiv
Download PDF
Categories
cs.CR, cs.AI