chanmuzi
<CoT> [Natural Program] Deductive Verification of Chain-of-Thought Reasoning