Deductive Verification of Chain-of-Thought Reasoning.
Zhan LingYunhao FangXuanlin LiZhiao HuangMingu LeeRoland MemisevicHao SuPublished in: CoRR (2023)
Keyphrases
- deductive reasoning
- abductive inference
- knowledge base
- knowledge representation
- model checking
- probabilistic reasoning
- reasoning systems
- object oriented
- neural network
- meta level
- formal verification
- logical framework
- reasoning process
- spatial reasoning
- reasoning tasks
- logical reasoning
- reasoning engine
- proof theory
- resource bounded
- information systems
- artificial intelligence