Lee, Mingu
- Deductive Verification of Chain-of-Thought Reasoning
2023/06/06 by Zhan Ling, Yunhao Fang, Ling, Zhan +12 · 1 voice · 43 citations
Computer Science · #Adaptive reasoning #Advanced Graph Neural Networks #Analytic reasoning #Artificial intelligence #Automated reasoning #Case-based reasoning #Computer science #Context (archaeology) #Correctness #Deductive reasoning #Explainable Artificial Intelligence (XAI) #Knowledge representation and reasoning #Logical reasoning #Model-based reasoning #Natural language #Opportunistic reasoning #Process (computing) #Programming language #Qualitative reasoning #Reasoning system #Topic Modeling #cs.AI #cs.CL #cs.LG