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
首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。
实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。
Yu Feng · Nathaniel Weir · Kaj Bostrom · Sam Bayless · Darion Cassel · Sapana Chaudhary · Benjamin Kiesl-Reiter · Huzefa Rangwala
Zhikai Chen · Han Xie · Jian Zhang · Jiliang Tang · Xiang song · Huzefa Rangwala
Yuqing Yang · Qi Zhu · Zhen Han · Boran Han · Zhengyuan Shen · Shuai Wang · Vassilis N. Ioannidis · Huzefa Rangwala
While large language models (LLMs) perform well on table tasks, they still make data referencing errors (DREs), i.e., incorrectly citing or omitting table values, despite understanding the table structure. Beyond final-answer accuracy, DREs directly compromise the correctness and reliability of i...
Harper Hua · Zhen Han · Zhengyuan Shen · Meng-Chieh Lee · Sheng Guan · Qi Zhu · Sullam Jeoung · Yueyan Chen · Yunfei Bai · Shuai Wang · Vassilis N. Ioannidis · Huzefa Rangwala
While large language models (LLMs) have substantially improved Text-to-SQL generation, a pronounced gap remains between AI systems and human experts on challenging benchmarks such as BIRD-SQL. We argue this gap stems largely from the prevailing single-pass paradigm, which lacks the iterative reas...
Haoyuan Li · Zhengyuan Shen · Sullam Jeoung · Yueyan Chen · Jiayu Li · Qi Zhu · Shuai Wang · Vassilis N. Ioannidis · Huzefa Rangwala
Structured texts – from technical reports to AI prompts – increasingly require segmentation into semantically meaningful components. Such texts often contain elements beyond plain language, such as code snippets, which conventional sentence-level segmentation methods cannot handle effectively. To...