VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks

Published in ICLR 2026, 2025

Recommended citation: Yu Feng, Nathaniel Weir, Kaj Bostrom, Sam Bayless, Darion Cassel, Sapana Chaudhary, Benjamin Kiesl-Reiter, Huzefa Rangwala. (2026). VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks. ICLR 2026. https://arxiv.org/abs/2511.04662