Aja Khanal

~Aja_Khanal1

1

论文总数

1.0

年均投稿

6.8

平均评分

接收情况1/1

会议分布

NeurIPS

1

发表论文 (1 篇)

20251 篇

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

NeurIPS 2025Poster

合作者 (4)

Apurva Narayan1 篇

Kalyan Shankar Basu1 篇

Kaushik Tushar Ranade1 篇

Rishabh Agrawal1 篇