logo
today local_bar

Yedi Zhang

Postdoc, National University of Singapore

1 paper at NeurIPS 2025

Homepage· OpenReview· Semantic Scholar· Google Scholar

Poster Session 4

1 paper
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.