Xinyue Zuo

Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods

Large Language Models (LLMs) have emerged as a transformative AI paradigm, profoundly influencing broad aspects of daily life. Despite their remarkable performance, LLMs exhibit a fundamental limitation: hallucination—the tendency to produce misleading outputs that appear plausible. This inherent…