Submitted by Yu Feng 32 VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks Amazon Web Services 2