Xiaokun Luan
- The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap
2024/12/09 by Yedi Zhang, Yufan Cai, Zhang, Yedi +21 · 9 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Software Engineering (cs.SE)
- Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
2025/12/29 by Xinyi Zheng, Zheng, Xinyi, Ningke Li +11 · 1 voice
Computer Science · Medicine · #Artificial Intelligence in Healthcare and Education #Explainable Artificial Intelligence (XAI) #Topic Modeling #cs.FL #cs.SE