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

Published in arXiv preprint, 2025

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