Zhao, Z. (CSE) – TOWARD VERIFIABLE REASONING IN LLMS
Hybrid Event
Chain-of-thought (CoT) prompting can improve final-answer performance, but it does not guarantee that intermediate reasoning steps are faithful, valid, or checkable. This proposal studies how formal methods can make natural-language […]