Melwin Xavier
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Logic×1Crypto×1Formal Lang.×1
Frequent co-authors
Research Timeline
2026
Agentproof: Static Verification of Agent Workflow Graphs
Agentproof is a system that provides static, pre-deployment verification of safety properties in agent workflow graphs by automatically extracting a unified graph model and applying structural and temporal checks.
Highlighted terms show continued research focus across papers