作者位次 #2/8ICLR 2026Poster· General Machine Learning / Everything Else
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