Midhun Xavier

Midhun Xavier

AI Research Engineer @ Aerobase | Neural Combinatorial Optimization & Reinforcement Learning

Agentproof: Static Verification of Agent Workflow Graphs

Published in arXiv preprint, 2026

Recommended citation: M. Xavier, M. Jolly, M. Xavier. "Agentproof: Static Verification of Agent Workflow Graphs." arXiv preprint, 2026.

This work presents Agentproof, an approach for the static verification of agent workflow graphs, enabling correctness properties of LLM-based agent workflows to be checked before execution.