Deductive Verification of Chain-of-Thought Reasoning Zhan Ling 1 Yunhao Fang 1 Xuanlin Li1 Zhiao Huang