Emma, Sun Yi

1 publications

NeurIPS 2025 RvLLM: LLM Runtime Verification with Domain Knowledge Yedi Zhang, Sun Yi Emma, Annabelle Lee Jia En, Jin Song Dong