RvLLM: LLM Runtime Verification with Domain Knowledge - Zhang, Yedi; Emma, Sun; En, Annabelle; Dong, Jin Song (Advances in Neural Information Processing Systems, 2025)