Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Vaisakh M A

Vaisakh M A

1 indexed paper

Recent (6 mo)
1
With code
0
Influential cites
0
Benchmarked
0

Publications per year

1
26

Top categories

Logic×1Crypto×1Formal Lang.×1

Frequent co-authors

Melwin Xavier1×
Melveena Jolly1×
Midhun Xavier1×

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

Papers

cs.LOcs.CRcs.FLRecentMar 20, 2026

Agentproof: Static Verification of Agent Workflow Graphs

Melwin Xavier, Vaisakh M A, Melveena Jolly, Midhun Xavier

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 tem…

View →