VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks - Feng, Yu; Weir, Nathaniel; Bostrom, Kaj; Bayless, Sam; Cassel, Darion; Chaudhary, Sapana; Kiesl-Reiter, Benjamin; Rangwala, Huzefa (International Conference on Learning Representations, 2026)