Deductive Verification of Chain-of-Thought Reasoning.
Zhan LingYunhao FangXuanlin LiZhiao HuangMingu LeeRoland MemisevicHao SuPublished in: NeurIPS (2023)
Keyphrases
- deductive reasoning
- abductive inference
- model checking
- object oriented
- spatial reasoning
- reasoning tasks
- reasoning process
- analogical reasoning
- uncertain information
- proof planning
- logical reasoning
- rule based reasoning
- model based reasoning
- databases
- asynchronous circuits
- formal verification
- face verification
- web services
- genetic algorithm