Deductive Verification of Chain-of-Thought Reasoning - Ling, Zhan; Fang, Yunhao; Li, Xuanlin; Huang, Zhiao; Lee, Mingu; Memisevic, Roland; Su, Hao (Advances in Neural Information Processing Systems, 2023)