RvLLM: LLM Runtime Verification with Domain Knowledge. - Yedi Zhang; Sun Yi Emma; Annabelle Lee Jia En; Jin Song Dong (CoRR, 2025)