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

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Feng, Yu, Weir, Nathaniel, Bostrom, Kaj, Bayless, Sam, Cassel, Darion, Chaudhary, Sapana, Kiesl-Reiter, Benjamin, Rangwala, Huzefa
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!