A Chain-of-Thought Is as Strong as Its Weakest Link: A Benchmark for Verifiers of Reasoning Chains.
Alon JacoviYonatan BittonBernd BohnetJonathan HerzigOr HonovichMichael TsengMichael CollinsRoee AharoniMor GevaPublished in: ACL (1) (2024)
Keyphrases
- knowledge base
- automated reasoning
- reasoning process
- reasoning systems
- knowledge representation and reasoning
- knowledge representation
- default reasoning
- reasoning tasks
- formal models
- data sets
- real world
- meta level
- qualitative reasoning
- reasoning problems
- model based reasoning
- reasoning about actions
- database
- link structure
- probabilistic reasoning
- comparative analysis
- model based diagnosis
- case study
- information systems
- artificial intelligence
- neural network