Kalyan Shankar Basu

Principal Researcher, Qualtrics LLC

1 paper at NeurIPS 2025

OpenReview· Semantic Scholar· Google Scholar

Poster Session 1

1 paper

Wednesday, December 3, 2025 · 11:00 AM → 2:00 PM

Exhibit Hall C,D,E

SpecMAS: A Multi-Agent System for Self-Verifying System Generation via Formal Model Checking

#2802 · Rishabh Agrawal, Kaushik Tushar Ranade, Aja Khanal, Kalyan Shankar Basu, Apurva Narayan

SpecMAS converts natural-language SOPs into NuSMV models and autonomously self-verifies and debugs them via multi-agent temporal-logic checking, ensuring verifiable system designs.