Agentproof: Static Verification of Agent Workflow Graphs. - Melwin Xavier; Vaisakh M. A; Melveena Jolly; Midhun Xavier (CoRR, 2026)

IndustriConnect: MCP Adapters and Mock-First Evaluation for AI-Assisted Industrial Operations. - Melwin Xavier; Melveena Jolly; Vaisakh M. A; Midhun Xavier (CoRR, 2026)