2025
RvLLM: LLM Runtime Verification with Domain Knowledge
NeurIPS 2025poster
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 inconsistent or erroneous outputs challenges their reliability, especially in high-stakes domains requiring accuracy and tr…