RvLLM: LLM Runtime Verification with Domain Knowledge

Yedi Zhang, Sun Yi Emma, Annabelle Lee Jia En +1

Large language models (LLMs) have emerged as a dominant AI paradigm due to their exceptional text understanding and generation capabilities. However, their tendency to generate inc…