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: CoRR (2024)
Keyphrases
- reasoning systems
- automated reasoning
- knowledge representation and reasoning
- reasoning process
- knowledge representation
- model based diagnosis
- reasoning mechanisms
- real world
- expert systems
- knowledge base
- fuzzy logic
- logic programs
- probabilistic reasoning
- spatial reasoning
- case study
- website
- artificial intelligence
- reasoning problems
- resource bounded
- genetic algorithm