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
Coarse-to-Fine Highlighting: Reducing Knowledge Hallucination in Large Language ModelsInternational Conference on Machine Learning (ICML), 2024 Qitan Lv Jie Wang Hanzhu Chen Bin Li Yongdong Zhang Feng Wu HILM 316 11 0 19 Oct 2024
Pyramid-Driven Alignment: Pyramid Principle Guided Integration of Large Language Models and Knowledge Graphs Lei Sun Xinchen Wang Youdi Li RALM 167 0 0 16 Oct 2024
FLARE: Faithful Logic-Aided Reasoning and Exploration Erik Arakelyan Pasquale Minervini Pat Verga Patrick Lewis Isabelle Augenstein ReLM LRM 500 3 0 14 Oct 2024
OneNet: A Fine-Tuning Free Framework for Few-Shot Entity Linking via Large Language Model PromptingConference on Empirical Methods in Natural Language Processing (EMNLP), 2024 Xukai Liu Ye Liu Kai Zhang Kehang Wang Qi Liu Enhong Chen 165 12 0 10 Oct 2024
Rationale-Aware Answer Verification by Pairwise Self-EvaluationConference on Empirical Methods in Natural Language Processing (EMNLP), 2024 Akira Kawabata Saku Sugawara LRM 317 7 0 07 Oct 2024
Reasoning Paths Optimization: Learning to Reason and Explore From Diverse PathsConference on Empirical Methods in Natural Language Processing (EMNLP), 2024 Yew Ken Chia Guizhen Chen Weiwen Xu Luu Anh Tuan Soujanya Poria Lidong Bing LRM 204 3 0 07 Oct 2024
Traffic Light or Light Traffic? Investigating Phrasal Semantics in Large Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP), 2024 Rui Meng Ye Liu Lifu Tu Daqing He Yingbo Zhou Semih Yavuz LRM 109 0 0 03 Oct 2024
Instance-adaptive Zero-shot Chain-of-Thought PromptingNeural Information Processing Systems (NeurIPS), 2024 Xiaosong Yuan Chen Shen Shaotian Yan Xiaofeng Zhang Liang Xie Wenxiao Wang Renchu Guan Ying Wang Jieping Ye ReLM LRM 224 30 0 30 Sep 2024
Reasoning Graph Enhanced Exemplars Retrieval for In-Context LearningInternational Conference on Computational Linguistics (COLING), 2024 Yukang Lin Bingchen Zhong Shuoran Jiang Joanna Siebert Qingcai Chen RALM ReLM LRM 149 1 0 17 Sep 2024
Symbolic Working Memory Enhances Language Models for Complex Rule ApplicationConference on Empirical Methods in Natural Language Processing (EMNLP), 2024 Siyuan Wang Zhongyu Wei Yejin Choi Xiang Ren LRM LLMAG 240 14 0 24 Aug 2024
Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference Anton Xue Avishree Khare Rajeev Alur Surbhi Goel Eric Wong 640 4 0 21 Jun 2024
Reasoning in Token Economies: Budget-Aware Evaluation of LLM Reasoning Strategies Junlin Wang Siddhartha Jain Dejiao Zhang Baishakhi Ray Varun Kumar Ben Athiwaratkun 170 34 0 10 Jun 2024
Mixture-of-Agents Enhances Large Language Model CapabilitiesInternational Conference on Learning Representations (ICLR), 2024 Junlin Wang Jue Wang Ben Athiwaratkun Ce Zhang James Zou LLMAG AIFin 258 263 0 07 Jun 2024
SpaRC and SpaRP: Spatial Reasoning Characterization and Path Generation for Understanding Spatial Reasoning Capability of Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL), 2024 Md Imbesat Hassan Rizvi Xiaodan Zhu Iryna Gurevych LRM 138 4 0 07 Jun 2024
Generalization-Enhanced Code Vulnerability Detection via Multi-Task Instruction Fine-Tuning Xiaohu Du Ming Wen Jiahao Zhu Zifan Xie Shezheng Song Bin Ji Xuanhua Shi Hai Jin 238 40 0 06 Jun 2024
Break the Chain: Large Language Models Can be Shortcut Reasoners Mengru Ding Hanmeng Liu Zhizhang Fu Jian Song Wenbo Xie Yue Zhang KELM LRM 182 19 0 04 Jun 2024
FiDeLiS: Faithful Reasoning in Large Language Model for Knowledge Graph Question Answering Yuan Sui Yufei He Nian Liu Xiaoxin He Kun Wang Bryan Hooi LRM 633 30 0 22 May 2024
LLMs can Find Mathematical Reasoning Mistakes by Pedagogical Chain-of-ThoughtInternational Joint Conference on Artificial Intelligence (IJCAI), 2024 Zhuoxuan Jiang Haoyuan Peng Shanshan Feng Fan Li Dongsheng Li KELM LRM 387 28 0 09 May 2024
Chain of Thoughtlessness? An Analysis of CoT in Planning Kaya Stechly Kaya Stechly Subbarao Kambhampati LRM LM&Ro 542 94 0 08 May 2024
Beyond Chain-of-Thought: A Survey of Chain-of-X Paradigms for LLMs Yu Xia Rui Wang Xu Liu Mingyan Li Tong Yu Xiang Chen Julian McAuley Shuai Li LRM 585 46 0 24 Apr 2024
Is English the New Programming Language? How About Pseudo-code Engineering? Gian Alexandre Michaelsen Renato P. dos Santos 49 1 0 08 Apr 2024
Evaluating LLMs at Detecting Errors in LLM Responses Ryo Kamoi Sarkar Snigdha Sarathi Das Renze Lou Jihyun Janice Ahn Yilun Zhao ... Salika Dave Shaobo Qin Arman Cohan Wenpeng Yin Rui Zhang 196 45 0 04 Apr 2024
A Theory for Length Generalization in Learning to Reason Changnan Xiao Bing Liu LRM 328 12 0 31 Mar 2024
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs Minyu Chen Guoqiang Li Ling-I Wu Ruibang Liu Yuxin Su Xi Chang Jianxin Xue LLMAG ELM LRM 199 3 0 24 Mar 2024
EDDA: A Encoder-Decoder Data Augmentation Framework for Zero-Shot Stance Detection Daijun Ding Li Dong Zhichao Huang Guangning Xu Xu Huang Bo Liu Liwen Jing Bowen Zhang 161 6 0 23 Mar 2024
Think Twice Before Trusting: Self-Detection for Large Language Models through Comprehensive Answer ReflectionConference on Empirical Methods in Natural Language Processing (EMNLP), 2024 Moxin Li Wenjie Wang Fuli Feng Fengbin Zhu Qifan Wang Tat-Seng Chua HILM LRM 356 32 0 15 Mar 2024
Rethinking the Bounds of LLM Reasoning: Are Multi-Agent Discussions the Key? Qineng Wang Zihao Wang Ying Su Hanghang Tong Yangqiu Song LLMAG LRM 322 134 0 28 Feb 2024
Brain-Inspired Two-Stage Approach: Enhancing Mathematical Reasoning by Imitating Human Thought Processes Yezeng Chen Zui Chen Yi Zhou LRM 149 4 0 23 Feb 2024
Distillation Contrastive Decoding: Improving LLMs Reasoning with Contrastive Decoding and Distillation Phuc Phan Hieu Tran Long Phan 95 13 0 21 Feb 2024
Can Separators Improve Chain-of-Thought Prompting? Yoonjeong Park Hyunjin Kim Chanyeol Choi Junseong Kim Jy-yong Sohn LRM ReLM 221 2 0 16 Feb 2024
Selective Forgetting: Advancing Machine Unlearning Techniques and Evaluation in Language Models Lingzhi Wang Xingshan Zeng Jinsong Guo Kam-Fai Wong Georg Gottlob MU AAML KELM 182 30 0 08 Feb 2024
Are Machines Better at Complex Reasoning? Unveiling Human-Machine Inference Gaps in Entailment VerificationAnnual Meeting of the Association for Computational Linguistics (ACL), 2024 Soumya Sanyal Tianyi Xiao Hamish Ivison Wenya Wang Xiang Ren LRM ReLM 255 19 0 06 Feb 2024
FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems? Chinmay Mittal Krishna Kartik Mausam Parag Singla LRM 338 1 0 04 Feb 2024
Deductive Beam Search: Decoding Deducible Rationale for Chain-of-Thought Reasoning Tinghui Zhu Kai Zhang Jian Xie Yu-Chuan Su LRM 285 23 0 31 Jan 2024
ConstraintChecker: A Plugin for Large Language Models to Reason on Commonsense Knowledge BasesConference of the European Chapter of the Association for Computational Linguistics (EACL), 2024 Quyet V. Do Tianqing Fang Shizhe Diao Zhaowei Wang Yangqiu Song LRM 240 10 0 25 Jan 2024
Demystifying Chains, Trees, and Graphs of ThoughtsIEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI), 2024 Maciej Besta Florim Memedi Zhenyu Zhang Robert Gerstenberger Guangyuan Piao ... Aleš Kubíček H. Niewiadomski Aidan O'Mahony Onur Mutlu Torsten Hoefler AI4CE LRM 955 52 0 25 Jan 2024
DCR: Divide-and-Conquer Reasoning for Multi-choice Question Answering with LLMs Zijie Meng Yan Zhang Zhaopeng Feng Zuozhu Liu LRM 246 5 0 10 Jan 2024
DRDT: Dynamic Reflection with Divergent Thinking for LLM-based Sequential Recommendation Yu Wang Zhiwei Liu Jianguo Zhang Weiran Yao Shelby Heinecke Philip S. Yu AI4TS LRM 150 44 0 18 Dec 2023
A Contrastive Compositional Benchmark for Text-to-Image Synthesis: A Study with Unified Text-to-Image Fidelity Metrics Xiangru Zhu Yixiang Chen Chengyu Wang Jingping Liu Zhixu Li Yanghua Xiao Jun Huang CoGe 454 8 0 04 Dec 2023
Conditions for Length Generalization in Learning Reasoning Skills Changnan Xiao Bing Liu LRM 312 7 0 22 Nov 2023
Igniting Language Intelligence: The Hitchhiker's Guide From Chain-of-Thought Reasoning to Language Agents Zhuosheng Zhang Yao Yao Aston Zhang Xiangru Tang Xinbei Ma ... Yiming Wang Mark B. Gerstein Rui Wang Gongshen Liu Hai Zhao LLMAG LM&Ro LRM 325 90 0 20 Nov 2023
Graph Elicitation for Guiding Multi-Step Reasoning in Large Language Models Jinyoung Park Ameen Patel Omar Zia Khan Hyunwoo J. Kim Jooyeon Kim KELM LRM ReLM 219 4 0 16 Nov 2023
Contrastive Chain-of-Thought Prompting Yew Ken Chia Guizhen Chen Anh Tuan Luu Soujanya Poria Lidong Bing LRM AI4CE 266 44 0 15 Nov 2023
Towards A Unified View of Answer Calibration for Multi-Step Reasoning Shumin Deng Ningyu Zhang Nay Oo Bryan Hooi LRM 274 3 0 15 Nov 2023
Predicting Text Preference Via Structured Comparative ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL), 2023 Jing Nathan Yan Tianqi Liu Celine Lee Jiaming Shen Zhen Qin ... Charumathi Lakshmanan Y. Kurzion Alexander M. Rush Jialu Liu Michael Bendersky LRM 208 9 0 14 Nov 2023
A Closer Look at the Self-Verification Abilities of Large Language Models in Logical ReasoningNorth American Chapter of the Association for Computational Linguistics (NAACL), 2023 Ruixin Hong Hongming Zhang Xinyu Pang Dong Yu Changshui Zhang LRM 191 42 0 14 Nov 2023
Explanation-aware Soft Ensemble Empowers Large Language Model In-context LearningAnnual Meeting of the Association for Computational Linguistics (ACL), 2023 Yue Yu Jiaming Shen Tianqi Liu Zhen Qin Jing Nathan Yan Jialu Liu Chao Zhang Michael Bendersky 216 9 0 13 Nov 2023
On the Discussion of Large Language Models: Symmetry of Agents and Interplay with Prompts Qineng Wang Zihao Wang Ying Su Yangqiu Song AI4CE LLMAG 274 2 0 13 Nov 2023
Language Models can be Logical Solvers Jiazhan Feng Ruochen Xu Junheng Hao Hiteshi Sharma Haoran Pan Dongyan Zhao Weizhu Chen ReLM LRM ELM 233 30 0 10 Nov 2023
Unleashing the Creative Mind: Language Model As Hierarchical Policy For Improved Exploration on Challenging Problem Solving Z. Ling Yunhao Fang Xuanlin Li Tongzhou Mu Mingu Lee Reza Pourreza Roland Memisevic Hao Su LRM 290 5 0 01 Nov 2023