today local_bar

Annabelle Lee Jia En

Student, Raffles Institution

1 paper at NeurIPS 2025

OpenReview· Semantic Scholar· Google Scholar

Poster Session 4

Thursday, December 4, 2025 · 4:30 PM → 7:30 PM

Exhibit Hall C,D,E

RvLLM: LLM Runtime Verification with Domain Knowledge

#1408 · Yedi Zhang, Sun Yi Emma, Annabelle Lee Jia En, Jin Song Dong

A runtime verification framework of LLMs with domain knowledge.