Deductive Verification of Chain-of-Thought Reasoning | Read Paper on Bytez