TY  - RPRT
TI  - VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
AU  - Yu Feng
AU  - Nathaniel Weir
AU  - Kaj Bostrom
AU  - Sam Bayless
AU  - Darion Cassel
AU  - Sapana Chaudhary
AU  - Benjamin Kiesl-Reiter
AU  - Huzefa Rangwala
PY  - 2025
UR  - https://arxiv.org/abs/2511.04662
ID  - 2511.04662
ER  -