TY  - RPRT
TI  - RvLLM: LLM Runtime Verification with Domain Knowledge
AU  - Yedi Zhang
AU  - Sun Yi Emma
AU  - Annabelle Lee Jia En
AU  - Jin Song Dong
PY  - 2025
UR  - https://arxiv.org/abs/2505.18585
ID  - 2505.18585
ER  -