Khanal, Aja

1 publications

NeurIPS 2025 SpecMAS: A Multi-Agent System for Self-Verifying System Generation via Formal Model Checking Rishabh Agrawal, Kaushik Tushar Ranade, Aja Khanal, Kalyan Shankar Basu, Apurva Narayan