A Chain-of-Thought is As Strong As Its Weakest Link: A Benchmark for Verifiers of Reasoning Chains
Annual Meeting of the Association for Computational Linguistics（2024）
关键词
Model Checking,Nonmonotonic Reasoning,Decision-making,Description Logics,Constraint Logic Programming
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要