Computer Vision and Pattern Recognition · Computer Science
Process-of-Thought Reasoning for Videos
Jusheng Zhang, Kaitong Cai, Jian Wang, Yongsen Zheng +2
2026-02-10
Artificial Intelligence · Computer Science
Reasoning Paths as Signals: Augmenting Multi-hop Fact Verification through Structural Reasoning Progression
Liwen Zheng, Chaozhuo Li, Haoran Jia, Xi Zhang
2025-06-10
Machine Learning · Computer Science
COLEP: Certifiably Robust Learning-Reasoning Conformal Prediction via Probabilistic Circuits
Mintong Kang, Nezihe Merve Gürel, Linyi Li, Bo Li
2024-03-19
Artificial Intelligence · Computer Science
Proof-of-Use: Mitigating Tool-Call Hacking in Deep Research Agents
SHengjie Ma, Chenlong Deng, Jiaxin Mao, Jiadeng Huang +4
2026-01-26
Computation and Language · Computer Science
Faithful Chain-of-Thought Reasoning
Qing Lyu, Shreya Havaldar, Adam Stein, Li Zhang +4
2023-09-22
Computation and Language · Computer Science
Towards Better Understanding of Program-of-Thought Reasoning in Cross-Lingual and Multilingual Environments
Patomporn Payoungkhamdee, Pume Tuchinda, Jinheon Baek, Samuel Cahyawijaya +5
2025-05-23
Computation and Language · Computer Science
Python is Not Always the Best Choice: Embracing Multilingual Program of Thoughts
Xianzhen Luo, Qingfu Zhu, Zhiming Zhang, Libo Qin +4
2024-11-19
Programming Languages · Computer Science
Passport: Improving Automated Formal Verification Using Identifiers
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman +2
2023-08-10
Computation and Language · Computer Science
Thinking Like an Expert:Multimodal Hypergraph-of-Thought (HoT) Reasoning to boost Foundation Modals
Fanglong Yao, Changyuan Tian, Jintao Liu, Zequn Zhang +5
2023-08-14
Artificial Intelligence · Computer Science
Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
Debargha Ganguly, Srinivasan Iyengar, Vipin Chaudhary, Shivkumar Kalyanaraman
2024-10-24
Computation and Language · Computer Science
HOP, UNION, GENERATE: Explainable Multi-hop Reasoning without Rationale Supervision
Wenting Zhao, Justin T. Chiu, Claire Cardie, Alexander M. Rush
2023-05-24
Computation and Language · Computer Science
MEVER: Multi-Modal and Explainable Claim Verification with Graph-based Evidence Retrieval
Delvin Ce Zhang, Suhan Cui, Zhelin Chu, Xianren Zhang +1
2026-02-11
Computation and Language · Computer Science
ToolComp: A Multi-Tool Reasoning & Process Supervision Benchmark
Vaskar Nath, Pranav Raja, Claire Yoon, Sean Hendryx
2025-01-03
Software Engineering · Computer Science
Generating Verifiable Chain of Thoughts from Exection-Traces
Shailja Thakur, Vaibhav Saxena, Rohan Kulkarni, Shivdeep Singh +3
2026-04-28
Machine Learning · Computer Science
Proof-of-Learning is Currently More Broken Than You Think
Congyu Fang, Hengrui Jia, Anvith Thudi, Mohammad Yaghini +4
2023-04-18
Computation and Language · Computer Science
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
Chengwu Liu, Ye Yuan, Yichun Yin, Yan Xu +6
2025-06-06
Artificial Intelligence · Computer Science
Conformal Certification of Reasoning Trace Prefixes
Matt Y. Cheung, Ashok Veeraraghavan, Hanjie Chen, Guha Balakrishnan
2026-05-29