v1v2v3 (latest)

Deductive Verification of Chain-of-Thought Reasoning

Neural Information Processing Systems (NeurIPS), 2023

6 June 2023

ArXiv (abs)PDF HTML HuggingFace (6 upvotes)Github (133★)

Papers citing "Deductive Verification of Chain-of-Thought Reasoning"

50 / 115 papers shown

Title
When Does Verification Pay Off? A Closer Look at LLMs as Solution Verifiers Jack Lu Ryan Teehan Jinran Jin Mengye Ren LRM 84 0 0 02 Dec 2025
Beware of Reasoning Overconfidence: Pitfalls in the Reasoning Process for Multi-solution Tasks Jiannan Guan Qiguang Chen L. Qin Dengyun Peng Jinhao Liu Liangyu Huo Jian Xie Wanxiang Che LRM 60 0 0 01 Dec 2025
Multi-chain Graph Refinement and Selection for Reliable Reasoning in Large Language Models Yujiao Yang Jing Lian Linhui Li LRM 76 0 0 28 Nov 2025
Beyond Elicitation: Provision-based Prompt Optimization for Knowledge-Intensive Tasks Yunzhe Xu Zhuosheng Zhang Zhe Liu 137 0 0 13 Nov 2025
Effectiveness of Chain-of-Thought in Distilling Reasoning Capability from Large Language Models Cong-Thanh Do R. Doddipatla Kate Knill LRM 208 0 0 07 Nov 2025
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 LRM 160 0 0 06 Nov 2025
TextualVerifier: Verify TextGrad Step-by-Step Eugenius Mario Situmorang Adila Alfa Krisnadhi Ari Wibisono LRM 64 1 0 29 Oct 2025
Mitigating Hallucination in Large Language Models (LLMs): An Application-Oriented Survey on RAG, Reasoning, and Agentic Systems Yihan Li Xiyuan Fu Ghanshyam Verma P. Buitelaar Mingming Liu LRM 152 0 0 28 Oct 2025
Deductive Chain-of-Thought Augmented Socially-aware Robot Navigation World Model Weizheng Wang Obi Ike Soyun Choi Sungeun Hong Byung-Cheol Min LM&Ro LRM 156 0 0 27 Oct 2025
Search-on-Graph: Iterative Informed Navigation for Large Language Model Reasoning on Knowledge Graphs Jia Ao Sun Hao Yu Fabrizio Gotti Fengran Mo Y. Wu Yuchen Hui J. Nie RALM KELM LRM 72 0 0 09 Oct 2025
Syntactic Blind Spots: How Misalignment Leads to LLMs Mathematical Errors Dane Williamson Yangfeng Ji Matthew B. Dwyer LRM 87 1 0 02 Oct 2025
Structural Reward Model: Enhancing Interpretability, Efficiency, and Scalability in Reward Modeling Xiaoyu Liu Di Liang Hongyu Shan Peiyang Liu Yonghao Liu ... Yuntao Li Xianjie Wu LI Miao Jiangrong Shen Minlong Peng LRM 117 2 0 29 Sep 2025
Abductive Logical Rule Induction by Bridging Inductive Logic Programming and Multimodal Large Language Models Yifei Peng Yaoli Liu Enbo Xia Yu Jin Wang-Zhou Dai Zhong Ren Yao-Xiang Ding Kun Zhou 84 0 0 26 Sep 2025
PEPS: Quantum-Inspired Reinforcement Learning for Coherent Reasoning Traces in LLMs Venkat Margapuri Garik Kazanjian Naren Kosaraju ReLM LRM 122 0 0 24 Sep 2025
SalaMAnder: Shapley-based Mathematical Expression Attribution and Metric for Chain-of-Thought Reasoning Yue Xin Chen Shen Shaotian Yan Xiaosong Yuan Yaoming Wang Xiaofeng Zhang Chenxi Huang Jieping Ye ReLM LRM 116 0 0 20 Sep 2025
When Safe Unimodal Inputs Collide: Optimizing Reasoning Chains for Cross-Modal Safety in Multimodal Large Language Models Wei Cai Shujuan Liu Jian Zhao Ziyan Shi Yusheng Zhao Yuchen Yuan Tianle Zhang Chi Zhang Xuelong Li LRM 175 3 0 15 Sep 2025
Modeling Motivated Reasoning in Law: Evaluating Strategic Role Conditioning in LLM Summarization Eunjung Cho Alexander Hoyle Yoan Hermstrüwer AILaw ELM 142 0 0 30 Aug 2025
Trust but Verify! A Survey on Verification Design for Test-time Scaling Venktesh V Mandeep Rathee Avishek Anand LRM 187 1 0 20 Aug 2025
Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language ModelsInternational Joint Conference on Artificial Intelligence (IJCAI), 2024 Xiao-Wen Yang Jie-Jing Shao Lan-Zhe Guo Bo-Wen Zhang Zhi Zhou Lin-Han Jia Wang-Zhou Dai Yu-Feng Li LRM 108 2 0 19 Aug 2025
Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria Saleh Nikooroo Thomas Engel LRM AI4CE 104 1 0 03 Aug 2025
Is Chain-of-Thought Reasoning of LLMs a Mirage? A Data Distribution Lens Chengshuai Zhao Zhen Tan Pingchuan Ma Dawei Li Bohan Jiang Yancheng Wang Yingzhen Yang Huan Liu LRM 265 28 0 02 Aug 2025
Graph of Verification: Structured Verification of LLM Reasoning with Directed Acyclic Graphs Jiwei Fang Bin Zhang Changwei Wang Jin Wan Zhiwei Xu LRM 209 0 0 14 Jun 2025
ReasoningFlow: Semantic Structure of Complex Reasoning Traces Jinu Lee Sagnik Mukherjee Dilek Hakkani-Tur Anjali Narayan-Chen AI4CE LRM 192 2 0 03 Jun 2025
On Learning Verifiers for Chain-of-Thought Reasoning Maria-Florina Balcan Avrim Blum Zhiyuan Li Dravyansh Sharma LRM 155 2 0 28 May 2025
What Makes a Good Reasoning Chain? Uncovering Structural Patterns in Long Chain-of-Thought Reasoning Gangwei Jiang Yahui Liu Zhaoyi Li Qi Wang Fuzheng Zhang Linqi Song Ying Wei Defu Lian LRM 191 6 0 28 May 2025
From Reasoning to Learning: A Survey on Hypothesis Discovery and Rule Learning with Large Language Models Kaiyu He Zhiyu Chen ReLM LRM ELM 309 3 0 28 May 2025
Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving Kuo Zhou Lu Zhang LRM 185 3 0 27 May 2025
LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models IntegrationInternational Joint Conference on Artificial Intelligence (IJCAI), 2024 Zirong Chen Ziyan An Jennifer Reynolds Kristin Mullen Stephen Martini Meiyi Ma 193 1 0 06 May 2025
Comparing Uncertainty Measurement and Mitigation Methods for Large Language Models: A Systematic Review Toghrul Abbasli Kentaroh Toyoda Yuan Wang Leon Witt Muhammad Asif Ali Yukai Miao Dan Li Qingsong Wei UQCV 587 2 0 25 Apr 2025
Reasoning Models Know When They're Right: Probing Hidden States for Self-Verification Anqi Zhang Yulin Chen Jane Pan Chen Zhao Aurojit Panda Jinyang Li He He ReLM LRM 284 57 0 07 Apr 2025
SRLCG: Self-Rectified Large-Scale Code Generation with Multidimensional Chain-of-Thought and Dynamic Backtracking Hongru Ma Yanjie Liang Jiasheng Si Jiasheng Si Hongjiao Guan Chaoqun Zheng Bing Xu Sibo Wei LRM 317 2 0 01 Apr 2025
Instruction-Oriented Preference Alignment for Enhancing Multi-Modal Comprehension Capability of MLLMs Zitian Wang Yue Liao Kang Rong Fengyun Rao Yibo Yang Si Liu 308 1 0 26 Mar 2025
A Survey on Mathematical Reasoning and Optimization with Large Language Models Ali Forootani OffRL LRM AI4CE 256 10 0 22 Mar 2025
Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing SystemsProceedings of the VLDB Endowment (PVLDB), 2025 Alexander W. Lee Justin Chan Michael Fu Nicolas Kim Akshay Mehta Deepti Raghavan Ugur Cetintemel 304 0 0 01 Mar 2025
Meta-Reasoner: Dynamic Guidance for Optimized Inference-time Reasoning in Large Language Models Yuan Sui Yufei He Tri Cao Simeng Han Yulin Chen Bryan Hooi LRM AI4CE 622 18 0 27 Feb 2025
Step-by-Step Fact Verification System for Medical Claims with Explainable ReasoningNorth American Chapter of the Association for Computational Linguistics (NAACL), 2025 Juraj Vladika Ivana Hacajová Florian Matthes LRM 364 11 0 21 Feb 2025
A Survey on Feedback-based Multi-step Reasoning for Large Language Models on Mathematics Ting-Ruen Wei Haowei Liu Xuyang Wu Yi Fang LRM AI4CE ReLM KELM 709 8 0 21 Feb 2025
Standard Benchmarks Fail - Auditing LLM Agents in Finance Must Prioritize Risk Zichen Chen Jiaao Chen Jianda Chen Misha Sra ELM 415 1 0 21 Feb 2025
CER: Confidence Enhanced Reasoning in LLMsAnnual Meeting of the Association for Computational Linguistics (ACL), 2025 Ali Razghandi Seyed Mohammad Hadi Hosseini Mahdieh Soleymani Baghshah LRM 483 7 0 20 Feb 2025
Stepwise Perplexity-Guided Refinement for Efficient Chain-of-Thought Reasoning in Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL), 2025 Yingqian Cui Pengfei He Jingying Zeng Hui Liu Xianfeng Tang ... Zhen Li Suhang Wang Yue Xing Shucheng Zhou Qi He LRM 474 28 0 18 Feb 2025
Evaluating Step-by-step Reasoning Traces: A Survey Jinu Lee Anjali Narayan-Chen LRM ELM 463 17 0 17 Feb 2025
RAS: Retrieval-And-Structuring for Knowledge-Intensive LLM Generation Pengcheng Jiang Lang Cao Ruike Zhu Minhao Jiang Yunyi Zhang Jimeng Sun Jiawei Han RALM 454 8 0 16 Feb 2025
Reasoning-as-Logic-Units: Scaling Test-Time Reasoning in Large Language Models Through Logic Unit Alignment Cheryl Li Tianyuan Xu Yiwen Guo LRM 1.1K 8 0 05 Feb 2025
Mathematical Language Models: A Survey Wen Liu Hanglei Hu Jie Zhou Yuyang Ding Junsong Li ... Mengliang He Qin Chen Bo Jiang Aimin Zhou Liang He LRM 540 21 0 03 Jan 2025
MCP-Solver: Integrating Language Models with Constraint Programming Systems Stefan Szeider 288 6 0 31 Dec 2024
Toward Adaptive Reasoning in Large Language Models with Thought RollbackInternational Conference on Machine Learning (ICML), 2024 Sijia Chen Baochun Li KELM LRM 256 11 0 27 Dec 2024
Formal Mathematical Reasoning: A New Frontier in AI Kaiyu Yang Gabriel Poesia Jingxuan He Wenda Li Kristin Lauter Swarat Chaudhuri Dawn Song LRM AI4CE 378 64 0 20 Dec 2024
Improving Physics Reasoning in Large Language Models Using Mixture of Refinement Agents Raj Jaiswal Dhruv Jain Harsh Parimal Popat Avinash Anand Abhishek Dharmadhikari Atharva Marathe R. Shah LRM AI4CE 251 11 0 01 Dec 2024
On the Impact of Fine-Tuning on Chain-of-Thought ReasoningNorth American Chapter of the Association for Computational Linguistics (NAACL), 2024 Elita Lobo Chirag Agarwal Himabindu Lakkaraju LRM 383 24 0 22 Nov 2024
OCEAN: Offline Chain-of-thought Evaluation and Alignment in Large Language Models Junda Wu Xintong Li Ruoyu Wang Yu Xia Yuxin Xiong ... Xiang Chen Branislav Kveton Lina Yao Jingbo Shang Julian McAuley OffRL LRM 193 4 0 31 Oct 2024