Kiesl-Reiter, Benjamin

1 publications

ICLR 2026 VeriCoT: Neuro-Symbolic Chain-of-Thought Validation via Logical Consistency Checks Yu Feng, Nathaniel Weir, Kaj Bostrom, Sam Bayless, Darion Cassel, Sapana Chaudhary, Benjamin Kiesl-Reiter, Huzefa Rangwala