vix.ing · top · new · best · stats · spec

Zhe Hou

  1. 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 · 10 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)