Paper
Hub
搜索
Toggle language
Aja Khanal
~Aja_Khanal1
1
论文总数
1.0
年均投稿
6.8
平均评分
接收情况
1
/
1
会议分布
NeurIPS
1
发表论文 (1 篇)
2025
1 篇
6.8
4
SpecMAS: A Multi-Agent System for Self-Verifying System Generation via Formal Model Checking
NeurIPS 2025
Poster
合作者 (4)
AN
Apurva Narayan
1 篇
KB
Kalyan Shankar Basu
1 篇
KR
Kaushik Tushar Ranade
1 篇
RA
Rishabh Agrawal
1 篇