---
title: "Reasoning — papers, page 3 — Elamur Research"
description: "Reasoning: 508 papers of the Elamur Research library · page 3 of 6 · 126–225, the most cited first."
canonical: "https://research.elamur.ai/free/en/topics/reasoning/page/3/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/topics/reasoning/page/3/)

[home](https://md.research.elamur.ai/free/en/) / [topics](https://md.research.elamur.ai/free/en/topics/) / [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/) / page 3

# 🧮 Reasoning

508 papers · page 3 of 6 · 126–225 · the most cited first · [all topics](https://md.research.elamur.ai/free/en/topics/)

Logic, inference and step-by-step problem solving: entailment, commonsense, mathematics.

## Papers (508)

[← prev](https://md.research.elamur.ai/free/en/topics/reasoning/page/2/) [1](https://md.research.elamur.ai/free/en/topics/reasoning/) [2](https://md.research.elamur.ai/free/en/topics/reasoning/page/2/) **3** [4](https://md.research.elamur.ai/free/en/topics/reasoning/page/4/) [5](https://md.research.elamur.ai/free/en/topics/reasoning/page/5/) [6](https://md.research.elamur.ai/free/en/topics/reasoning/page/6/) [next →](https://md.research.elamur.ai/free/en/topics/reasoning/page/4/)

126. [**Generative Language Modeling for Automated Theorem Proving arXiv:2009.03393**Stanislas Polu, Ilya Sutskever*2020 · 236 citations*](https://md.research.elamur.ai/free/en/papers/polu-2020-generative-language-modeling-automated-theorem/)
127. **[SemEval-2013 Task 7: The Joint Student Response Analysis and 8th Recognizing Textual Entailment Challenge](https://md.research.elamur.ai/free/en/papers/dzikovska-2013-semeval-2013-task-7-joint/) [Joint Conference on Lexical and Computational Semantics (*SEM)](https://md.research.elamur.ai/free/en/venues/starsem/)**Myroslava Dzikovska, Rodney Nielsen, Chris Brew, et al.*2013 · 235 citations*
128. **[Commonsense Knowledge Base Completion](https://md.research.elamur.ai/free/en/papers/li-2016-commonsense-knowledge-base-completion/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Xiang Li, Aynaz Taheri, Lifu Tu, et al.*2016 · 233 citations*
129. **[Compositional Questions Do Not Necessitate Multi-hop Reasoning](https://md.research.elamur.ai/free/en/papers/min-2019-compositional-questions-do-not-necessitate/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Sewon Min, Eric Wallace, Sameer Singh, et al.*2019 · 231 citations*
130. **[Commonsense for Generative Multi-Hop Question Answering Tasks](https://md.research.elamur.ai/free/en/papers/bauer-2018-commonsense-generative-multi-hop-question/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Lisa Bauer, Yicheng Wang, Mohit Bansal*2018 · 229 citations*
131. **[Coreferential Reasoning Learning for Language Representation](https://md.research.elamur.ai/free/en/papers/ye-2020-coreferential-reasoning-learning-language-representation/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Deming Ye, Yankai Lin, Jiaju Du, et al.*2020 · 225 citations*
132. [**Specializing Smaller Language Models towards Multi-Step Reasoning arXiv:2301.12726**Yao Fu, Hao Peng, Litu Ou, et al.*2023 · 222 citations*](https://md.research.elamur.ai/free/en/papers/fu-2023-specializing-smaller-language-models-towards/)
133. [**ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving arXiv:2309.17452**Zhibin Gou, Zhihong Shao, Yeyun Gong, et al.*2023 · 222 citations*](https://md.research.elamur.ai/free/en/papers/gou-2023-tora-tool-integrated-reasoning-agent/)
134. **[Reasoning Over Semantic-Level Graph for Fact Checking](https://md.research.elamur.ai/free/en/papers/zhong-2020-reasoning-over-semantic-level-graph/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Wanjun Zhong, Jingjing Xu, Duyu Tang, et al.*2020 · 221 citations*
135. **[Distilling Reasoning Capabilities into Smaller Language Models](https://md.research.elamur.ai/free/en/papers/shridhar-2023-distilling-reasoning-capabilities-into-smaller/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Kumar Shridhar, Alessandro Stolfo, Mrinmaya Sachan*2023 · 217 citations*
136. [**FOLIO: Natural Language Reasoning with First-Order Logic arXiv:2209.00840**Simeng Han, Hailey Schoelkopf, Yilun Zhao, et al.*2022 · 217 citations*](https://md.research.elamur.ai/free/en/papers/han-2022-folio-natural-language-reasoning-first/)
137. **[Birds have four legs?! NumerSense: Probing Numerical Commonsense Knowledge of Pre-Trained Language Models](https://md.research.elamur.ai/free/en/papers/lin-2020-birds-have-four-legs-numersense/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Bill Yuchen Lin, Seyeon Lee, Rahul Khanna, et al.*2020 · 217 citations*
138. **[The Argument Reasoning Comprehension Task: Identification and Reconstruction of Implicit Warrants](https://md.research.elamur.ai/free/en/papers/habernal-2018-argument-reasoning-comprehension-task-identification/) [Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)](https://md.research.elamur.ai/free/en/venues/naacl/)**Ivan Habernal, Henning Wachsmuth, Iryna Gurevych, et al.*2018 · 217 citations*
139. **[Making Language Models Better Reasoners with Step-Aware Verifier](https://md.research.elamur.ai/free/en/papers/li-2023-making-language-models-better-reasoners/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Yifei Li, Zeqi Lin, Shizhuo Zhang, et al.*2023 · 216 citations*
140. [**Evaluating the Logical Reasoning Ability of ChatGPT and GPT-4 arXiv:2304.03439**Hanmeng Liu, Ruoxi Ning, Zhiyang Teng, et al.*2023 · 215 citations*](https://md.research.elamur.ai/free/en/papers/liu-2023-evaluating-logical-reasoning-ability-chatgpt/)
141. **[Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations](https://md.research.elamur.ai/free/en/papers/jung-2022-maieutic-prompting-logically-consistent-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Jaehun Jung, Lianhui Qin, Sean Welleck, et al.*2022 · 214 citations*
142. **[Same Task, More Tokens: the Impact of Input Length on the Reasoning Performance of Large Language Models](https://md.research.elamur.ai/free/en/papers/levy-2024-same-task-more-tokens-impact/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Mosh Levy, Alon Jacoby, Yoav Goldberg*2024 · 212 citations*
143. **[SemEval-2012 Task 7: Choice of Plausible Alternatives: An Evaluation of Commonsense Causal Reasoning](https://md.research.elamur.ai/free/en/papers/gordon-2012-semeval-2012-task-7-choice/) [Joint Conference on Lexical and Computational Semantics (*SEM)](https://md.research.elamur.ai/free/en/venues/starsem/)**Andrew Gordon, Zornitsa Kozareva, Melissa Roemmele*2012 · 212 citations*
144. [**Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning arXiv:2209.14610**Pan Lu, Liang Qiu, Kai-Wei Chang, et al.*2022 · 210 citations*](https://md.research.elamur.ai/free/en/papers/lu-2022-dynamic-prompt-learning-policy-gradient/)
145. **[PlanBench: An Extensible Benchmark for Evaluating Large Language Models on Planning and Reasoning about Change](https://md.research.elamur.ai/free/en/papers/valmeekam-2022-planbench-extensible-benchmark-evaluating-large/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Karthik Valmeekam, Matthew Marquez, Alberto Olmo, et al.*2022 · 209 citations*
146. **[Reasoning with Multimodal Sarcastic Tweets via Modeling Cross-Modality Contrast and Semantic Association](https://md.research.elamur.ai/free/en/papers/xu-2020-reasoning-multimodal-sarcastic-tweets-modeling/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Nan Xu, Zhixiong Zeng, Wenji Mao*2020 · 206 citations*
147. **[Search-o1: Agentic Search-Enhanced Large Reasoning Models](https://md.research.elamur.ai/free/en/papers/li-2025-search-o1-agentic-search-enhanced/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Xiaoxi Li, Guanting Dong, Jiajie Jin, et al.*2025 · 205 citations*
148. [**LIMO: Less is More for Reasoning arXiv:2502.03387**Yixin Ye, Zhen Huang, Yang Xiao, et al.*2025 · 204 citations*](https://md.research.elamur.ai/free/en/papers/ye-2025-limo-less-more-reasoning/)
149. **[SODA: Million-scale Dialogue Distillation with Social Commonsense Contextualization](https://md.research.elamur.ai/free/en/papers/kim-2023-soda-million-scale-dialogue-distillation/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Hyunwoo Kim, Jack Hessel, Liwei Jiang, et al.*2023 · 201 citations*
150. **[Measuring Multimodal Mathematical Reasoning with MATH-Vision Dataset](https://md.research.elamur.ai/free/en/papers/wang-2024-measuring-multimodal-mathematical-reasoning-math/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Ke Wang, Junting Pan, Weikang Shi, et al.*2024 · 198 citations*
151. **[Reasoning about Pragmatics with Neural Listeners and Speakers](https://md.research.elamur.ai/free/en/papers/andreas-2016-reasoning-about-pragmatics-neural-listeners/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Jacob Andreas, Dan Klein*2016 · 198 citations*
152. [**Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model? arXiv:2504.13837 · NeurIPS 2025 Oral; ICML 2025 AI4MATH workshop best paper**Yang Yue, Zhiqi Chen, Rui Lu, et al.*2025 · 196 citations*](https://md.research.elamur.ai/free/en/papers/yue-2025-reinforcement-learning-really-incentivize-reasoning/)
153. **[The Unreliability of Explanations in Few-shot Prompting for Textual Reasoning](https://md.research.elamur.ai/free/en/papers/ye-2022-unreliability-explanations-few-shot-prompting/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Xi Ye, Greg Durrett*2022 · 196 citations*
154. **[Generative Data Augmentation for Commonsense Reasoning](https://md.research.elamur.ai/free/en/papers/yang-2020-generative-data-augmentation-commonsense-reasoning/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yiben Yang, Chaitanya Malaviya, Jared Fernandez, et al.*2020 · 195 citations*
155. **[What Can We Learn from Collective Human Opinions on Natural Language Inference Data?](https://md.research.elamur.ai/free/en/papers/nie-2020-what-can-we-learn-collective/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Yixin Nie, Xiang Zhou, Mohit Bansal*2020 · 193 citations*
156. **[Ordinal Common-sense Inference](https://md.research.elamur.ai/free/en/papers/zhang-2017-ordinal-common-sense-inference/) [Transactions of the Association for Computational Linguistics (TACL)](https://md.research.elamur.ai/free/en/venues/tacl/)**Sheng Zhang, Rachel Rudinger, Kevin Duh, et al.*2017 · 192 citations*
157. **[MuTual: A Dataset for Multi-Turn Dialogue Reasoning](https://md.research.elamur.ai/free/en/papers/cui-2020-mutual-dataset-multi-turn-dialogue/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Leyang Cui, Yu Wu, Shujie Liu, et al.*2020 · 190 citations*
158. **[Collecting Diverse Natural Language Inference Problems for Sentence Representation Evaluation](https://md.research.elamur.ai/free/en/papers/poliak-2018-collecting-diverse-natural-language-inference/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Adam Poliak, Aparajita Haldar, Rachel Rudinger, et al.*2018 · 190 citations*
159. [**Do NOT Think That Much for 2+3=? On the Overthinking of o1-Like LLMs arXiv:2412.21187**Xingyu Chen, Jiahao Xu, Tian Liang, et al.*2024 · 188 citations*](https://md.research.elamur.ai/free/en/papers/chen-2024-think-that-much-2-3/)
160. [**Mathematical Discoveries from Program Search with Large Language Models Nature 625**Bernardino Romera-Paredes, Mohammadamin Barekatain, Alexander Novikov, et al.*2023 · 185 citations*](https://md.research.elamur.ai/free/en/papers/paredes-2023-mathematical-discoveries-program-search-large/)
161. **[GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning](https://md.research.elamur.ai/free/en/papers/chen-2021-geoqa-geometric-question-answering-benchmark/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Jiaqi Chen, Jianheng Tang, Jinghui Qin, et al.*2021 · 183 citations*
162. **[Grounded Conversation Generation as Guided Traverses in Commonsense Knowledge Graphs](https://md.research.elamur.ai/free/en/papers/zhang-2020-grounded-conversation-generation-as-guided/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Houyu Zhang, Zhenghao Liu, Chenyan Xiong, et al.*2020 · 183 citations*
163. **[Large Language Models are few(1)-shot Table Reasoners](https://md.research.elamur.ai/free/en/papers/chen-2023-large-language-models-are-few/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Wenhu Chen*2023 · 182 citations*
164. **[NILE : Natural Language Inference with Faithful Natural Language Explanations](https://md.research.elamur.ai/free/en/papers/kumar-2020-nile-natural-language-inference-faithful/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Sawan Kumar, Partha Talukdar*2020 · 182 citations*
165. **[On Second Thought, Let's Not Think Step by Step! Bias and Toxicity in Zero-Shot Reasoning](https://md.research.elamur.ai/free/en/papers/shaikh-2023-second-thought-let-s-not/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Omar Shaikh, Hongxin Zhang, William Held, et al.*2023 · 180 citations*
166. **[LILA: A Unified Benchmark for Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/mishra-2022-lila-unified-benchmark-mathematical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Swaroop Mishra, Matthew Finlayson, Pan Lu, et al.*2022 · 177 citations*
167. **[ContractNLI: A Dataset for Document-level Natural Language Inference for Contracts](https://md.research.elamur.ai/free/en/papers/koreeda-2021-contractnli-dataset-document-level-natural/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yuta Koreeda, Christopher Manning*2021 · 177 citations*
168. [**Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs arXiv:2210.12283**Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.*2022 · 176 citations*](https://md.research.elamur.ai/free/en/papers/jiang-2022-draft-sketch-prove-guiding-formal/)
169. **[Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models](https://md.research.elamur.ai/free/en/papers/chen-2025-towards-reasoning-era-survey-long/) [Science China Information Sciences](https://md.research.elamur.ai/free/en/venues/science-china-information-sciences/)**Qiguang Chen, Libo Qin, Jinhao Liu, et al.*2025 · 174 citations*
170. **[Reasoning Over Paragraph Effects in Situations](https://md.research.elamur.ai/free/en/papers/lin-2019-reasoning-over-paragraph-effects-situations/) [Workshop on Machine Reading for Question Answering](https://md.research.elamur.ai/free/en/venues/mrqa/)**Kevin Lin, Oyvind Tafjord, Peter Clark, et al.*2019 · 174 citations*
171. **[ConvFinQA: Exploring the Chain of Numerical Reasoning in Conversational Finance Question Answering](https://md.research.elamur.ai/free/en/papers/chen-2022-convfinqa-exploring-chain-numerical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Zhiyu Chen, Shiyang Li, Charese Smiley, et al.*2022 · 172 citations*
172. **[LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers](https://md.research.elamur.ai/free/en/papers/olausson-2023-linc-neurosymbolic-approach-logical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Theo X. Olausson, Alex Gu, Benjamin Lipkin, et al.*2023 · 171 citations*
173. **[Social Bias in Elicited Natural Language Inferences](https://md.research.elamur.ai/free/en/papers/rudinger-2017-social-bias-elicited-natural-language/) [ACL Workshop on Ethics in Natural Language Processing](https://md.research.elamur.ai/free/en/venues/acl-workshop-on-ethics-in-natural-language-processing/)**Rachel Rudinger, Chandler May, Benjamin Van Durme*2017 · 168 citations*
174. [**From System 1 to System 2: A Survey of Reasoning Large Language Models arXiv:2502.17419**Zhong-Zhi Li, Duzhen Zhang, Ming-Liang Zhang, et al.*2025 · 163 citations*](https://md.research.elamur.ai/free/en/papers/li-2025-system-1-system-2-survey/)
175. [**Improve Mathematical Reasoning in Language Models by Automated Process Supervision arXiv:2406.06592**Liangchen Luo, Yinxiao Liu, Rosanne Liu, et al.*2024 · 163 citations*](https://md.research.elamur.ai/free/en/papers/luo-2024-improve-mathematical-reasoning-language-models/)
176. [**Theano: A Python framework for fast computation of mathematical expressions arXiv:1605.02688**The Theano Development Team, Rami Al-Rfou, Guillaume Alain, et al.*2016 · 163 citations*](https://md.research.elamur.ai/free/en/papers/the-theano-development-team-2016-theano-python-framework-fast-computation/)
177. **[Impact of Pretraining Term Frequencies on Few-Shot Numerical Reasoning](https://md.research.elamur.ai/free/en/papers/razeghi-2022-impact-pretraining-term-frequencies-few/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yasaman Razeghi, Robert L Logan IV, Matt Gardner, et al.*2022 · 162 citations*
178. [**Reasoning with Language Model Prompting: A Survey arXiv:2212.09597**Shuofei Qiao, Yixin Ou, Ningyu Zhang, et al.*2022 · 161 citations*](https://md.research.elamur.ai/free/en/papers/qiao-2022-reasoning-language-model-prompting-survey/)
179. [**Are Natural Language Inference Models IMPPRESsive? Learning IMPlicature and PRESupposition**Paloma Jeretic, Alex Warstadt, Suvrat Bhooshan, et al.*2020 · 161 citations*](https://md.research.elamur.ai/free/en/papers/jeretic-2020-are-natural-language-inference-models/)
180. [**Orca 2: Teaching Small Language Models How to Reason arXiv:2311.11045**Arindam Mitra, Luciano Del Corro, Shweti Mahajan, et al.*2023 · 160 citations*](https://md.research.elamur.ai/free/en/papers/mitra-2023-orca-2-teaching-small-language/)
181. [**InternVL3.5: Advancing Open-Source Multimodal Models in Versatility, Reasoning, and Efficiency arXiv:2508.18265**Weiyun Wang, Zhangwei Gao, Lixin Gu, et al.*2025 · 159 citations*](https://md.research.elamur.ai/free/en/papers/wang-2025-internvl3-5-advancing-open/)
182. [**GLM-4.5: Agentic, Reasoning, and Coding (ARC) Foundation Models arXiv:2508.06471**Aohan Zeng, Xin Lv, Qinkai Zheng, et al.*2025 · 157 citations*](https://md.research.elamur.ai/free/en/papers/team-2025-4-glm-4-5-agentic/)
183. **[SemEval-2020 Task 4: Commonsense Validation and Explanation](https://md.research.elamur.ai/free/en/papers/wang-2020-semeval-2020-task-4-commonsense/) [International Workshop on Semantic Evaluation (SemEval)](https://md.research.elamur.ai/free/en/venues/semeval/)**Cunxiang Wang, Shuailong Liang, Yili Jin, et al.*2020 · 157 citations*
184. **[The Lessons of Developing Process Reward Models in Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/zhang-2025-lessons-developing-process-reward-models/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Zhenru Zhang, Chujie Zheng, Yangzhen Wu, et al.*2025 · 155 citations*
185. **[ReConcile: Round-Table Conference Improves Reasoning via Consensus among Diverse LLMs](https://md.research.elamur.ai/free/en/papers/chen-2024-reconcile-round-table-conference-improves/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Justin Chen, Swarnadeep Saha, Mohit Bansal*2024 · 154 citations*
186. [**Stop Overthinking: A Survey on Efficient Reasoning for Large Language Models arXiv:2503.16419**Yang Sui, Yu-Neng Chuang, Guanchu Wang, et al.*2025 · 153 citations*](https://md.research.elamur.ai/free/en/papers/sui-2025-stop-overthinking-survey-efficient-reasoning/)
187. [**Can GPT-3 Perform Statutory Reasoning? arXiv:2302.06100**Andrew Blair-Stanek, Nils Holzenberger, Benjamin Van Durme*2023 · 153 citations*](https://md.research.elamur.ai/free/en/papers/blair-stanek-2023-gpt-3-perform-statutory-reasoning/)
188. [**REFINER: Reasoning Feedback on Intermediate Representations arXiv:2304.01904**Debjit Paul, Mete Ismayilzada, Maxime Peyrard, et al.*2023 · 152 citations*](https://md.research.elamur.ai/free/en/papers/paul-2023-refiner-reasoning-feedback-intermediate-representations/)
189. [**The Lean 4 Theorem Prover and Programming Language (System Description) CADE-28 (LNCS 12,699), Springer**Leonardo de Moura, Sebastian Ullrich*2021 · 150 citations*](https://md.research.elamur.ai/free/en/papers/moura-2021-lean-4-theorem-prover-programming/)
190. [**SciBench: Evaluating College-Level Scientific Problem-Solving Abilities of Large Language Models arXiv:2307.10635**Xiaoxuan Wang, Ziniu Hu, Pan Lu, et al.*2023 · 149 citations*](https://md.research.elamur.ai/free/en/papers/wang-2023-scibench-evaluating-college-level-scientific/)
191. **[HyperTree Proof Search for Neural Theorem Proving](https://md.research.elamur.ai/free/en/papers/lample-2022-hypertree-proof-search-neural-theorem/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.*2022 · 149 citations*
192. [**ROSCOE: A Suite of Metrics for Scoring Step-by-Step Reasoning arXiv:2212.07919**Olga Golovneva, Moya Chen, Spencer Poff, et al.*2022 · 149 citations*](https://md.research.elamur.ai/free/en/papers/golovneva-2022-roscoe-suite-metrics-scoring-step/)
193. [**SimpleRL-Zoo: Investigating and Taming Zero Reinforcement Learning for Open Base Models in the Wild arXiv:2503.18892**Weihao Zeng, Yuzhen Huang, Qian Liu, et al.*2025 · 148 citations*](https://md.research.elamur.ai/free/en/papers/zeng-2025-simplerl-zoo-investigating-taming-zero/)
194. [**OCNLI: Original Chinese Natural Language Inference arXiv:2010.05444**Hai Hu, Kyle Richardson, Liang Xu, et al.*2020 · 147 citations*](https://md.research.elamur.ai/free/en/papers/hu-2020-ocnli-original-chinese-natural/)
195. **[Neural Models for Reasoning over Multiple Mentions Using Coreference](https://md.research.elamur.ai/free/en/papers/dhingra-2018-neural-models-reasoning-over-multiple/) [Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)](https://md.research.elamur.ai/free/en/venues/naacl/)**Bhuwan Dhingra, Qiao Jin, Zhilin Yang, et al.*2018 · 147 citations*
196. **[NaturalLI: Natural Logic Inference for Common Sense Reasoning](https://md.research.elamur.ai/free/en/papers/angeli-2014-naturalli-natural-logic-inference-common/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Gabor Angeli, Christopher D. Manning*2014 · 147 citations*
197. [**rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinking arXiv:2501.04519**Xinyu Guan, Li Lyna Zhang, Yifei Liu, et al.*2025 · 146 citations*](https://md.research.elamur.ai/free/en/papers/guan-2025-rstar-math-small-llms-can/)
198. **[Fact-Checking Complex Claims with Program-Guided Reasoning](https://md.research.elamur.ai/free/en/papers/pan-2023-fact-checking-complex-claims-program/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Liangming Pan, Xiaobao Wu, Xinyuan Lu, et al.*2023 · 146 citations*
199. **[Understanding Dataset Design Choices for Multi-hop Reasoning](https://md.research.elamur.ai/free/en/papers/chen-2019-understanding-dataset-design-choices-multi/) [Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)](https://md.research.elamur.ai/free/en/venues/naacl/)**Jifan Chen, Greg Durrett*2019 · 146 citations*
200. **[SCOTT: Self-Consistent Chain-of-Thought Distillation](https://md.research.elamur.ai/free/en/papers/wang-2023-scott-self-consistent-chain-thought/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Peifeng Wang, Zhengyang Wang, Zheng Li, et al.*2023 · 145 citations*
201. **[Self-Evaluation Guided Beam Search for Reasoning](https://md.research.elamur.ai/free/en/papers/xie-2023-self-evaluation-guided-beam-search/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Yuxi Xie, Kenji Kawaguchi, Yiran Zhao, et al.*2023 · 145 citations*
202. **[Iterative Reasoning Preference Optimization](https://md.research.elamur.ai/free/en/papers/pang-2024-iterative-reasoning-preference-optimization/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Richard Yuanzhe Pang, Weizhe Yuan, Kyunghyun Cho, et al.*2024 · 144 citations*
203. **[Verify-and-Edit: A Knowledge-Enhanced Chain-of-Thought Framework](https://md.research.elamur.ai/free/en/papers/zhao-2023-verify-edit-knowledge-enhanced-chain/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Ruochen Zhao, Xingxuan Li, Shafiq Joty, et al.*2023 · 144 citations*
204. [**Mapping to Declarative Knowledge for Word Problem Solving**Subhro Roy, Dan Roth*2018 · 143 citations*](https://md.research.elamur.ai/free/en/papers/roy-2018-mapping-declarative-knowledge-word-problem/)
205. **[Beyond the 80/20 Rule: High-Entropy Minority Tokens Drive Effective Reinforcement Learning for LLM Reasoning](https://md.research.elamur.ai/free/en/papers/wang-2025-80-20-rule-high-entropy/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Shenzhi Wang, Le Yu, Chang Gao, et al.*2025 · 142 citations*
206. **[Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and Beyond](https://md.research.elamur.ai/free/en/papers/xu-2023-large-language-models-really-good/) [IEEE Transactions on Knowledge and Data Engineering](https://md.research.elamur.ai/free/en/venues/ieee-transactions-on-knowledge-and-data-engineering/)**Fangzhi Xu, Qika Lin, Jiawei Han, et al.*2023 · 141 citations*
207. **[How does GPT-2 compute greater-than?: Interpreting mathematical abilities in a pre-trained language model](https://md.research.elamur.ai/free/en/papers/hanna-2023-gpt-2-compute-greater-than/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Michael Hanna, Ollie Liu, Alexandre Variengien*2023 · 140 citations*
208. **[Avoiding Reasoning Shortcuts: Adversarial Evaluation, Training, and Model Development for Multi-Hop QA](https://md.research.elamur.ai/free/en/papers/jiang-2019-avoiding-reasoning-shortcuts-adversarial-evaluation/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Yichen Jiang, Mohit Bansal*2019 · 140 citations*
209. **[Symbolic Chain-of-Thought Distillation: Small Models Can Also “Think” Step-by-Step](https://md.research.elamur.ai/free/en/papers/li-2023-symbolic-chain-thought-distillation-small/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Liunian Harold Li, Jack Hessel, Youngjae Yu, et al.*2023 · 139 citations*
210. [**Unleashing the Emergent Cognitive Synergy in Large Language Models: A Task-Solving Agent through Multi-Persona Self-Collaboration arXiv:2307.05300**Zhenhailong Wang, Shaoguang Mao, Wenshan Wu, et al.*2023 · 139 citations*](https://md.research.elamur.ai/free/en/papers/wang-2023-unleashing-emergent-cognitive-synergy-large/)
211. **[Question Answering by Reasoning Across Documents with Graph Convolutional Networks](https://md.research.elamur.ai/free/en/papers/cao-2019-question-answering-reasoning-across-documents/) [Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)](https://md.research.elamur.ai/free/en/venues/naacl/)**Nicola De Cao, Wilker Aziz, Ivan Titov*2019 · 136 citations*
212. [**Token-Budget-Aware LLM Reasoning arXiv:2412.18547**Tingxu Han, Zhenting Wang, Chunrong Fang, et al.*2024 · 135 citations*](https://md.research.elamur.ai/free/en/papers/han-2024-token-budget-aware-llm-reasoning/)
213. [**Beyond Human Data: Scaling Self-Training for Problem-Solving with Language Models arXiv:2312.06585**Avi Singh, John D. Co-Reyes, Rishabh Agarwal, et al.*2023 · 134 citations*](https://md.research.elamur.ai/free/en/papers/singh-2023-human-data-scaling-self-training/)
214. **[Enhancing Zero-shot and Few-shot Stance Detection with Commonsense Knowledge Graph](https://md.research.elamur.ai/free/en/papers/liu-2021-enhancing-zero-shot-few-shot/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Rui Liu, Zheng Lin, Yutong Tan, et al.*2021 · 134 citations*
215. [**Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning arXiv:2105.04165**Pan Lu, Ran Gong, Shibiao Jiang, et al.*2021 · 134 citations*](https://md.research.elamur.ai/free/en/papers/lu-2021-inter-gps-interpretable-geometry-problem/)
216. [**Recent Advances in Natural Language Inference: A Survey of Benchmarks, Resources, and Approaches arXiv:1904.01172**Shane Storks, Qiaozi Gao, Joyce Y. Chai*2019 · 134 citations*](https://md.research.elamur.ai/free/en/papers/storks-2019-recent-advances-natural-language-inference/)
217. [**To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning arXiv:2409.12183**Zayne Sprague, Fangcong Yin, Juan Diego Rodriguez, et al.*2024 · 133 citations*](https://md.research.elamur.ai/free/en/papers/sprague-2024-cot-cot-chain-thought-helps/)
218. [**Formal Mathematics Statement Curriculum Learning arXiv:2202.01344**Stanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.*2022 · 132 citations*](https://md.research.elamur.ai/free/en/papers/polu-2022-formal-mathematics-statement-curriculum-learning/)
219. **[ReFT: Reasoning with Reinforced Fine-Tuning](https://md.research.elamur.ai/free/en/papers/trung-2024-reft-reasoning-reinforced-fine-tuning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Luong Trung, Xinbo Zhang, Zhanming Jie, et al.*2024 · 131 citations*
220. [**LongBench v2: Towards Deeper Understanding and Reasoning on Realistic Long-context Multitasks arXiv:2412.15204**Yushi Bai, Shangqing Tu, Jiajie Zhang, et al.*2024 · 130 citations*](https://md.research.elamur.ai/free/en/papers/bai-2024-longbench-v2-deeper-understanding/)
221. **[MathDial: A Dialogue Tutoring Dataset with Rich Pedagogical Properties Grounded in Math Reasoning Problems](https://md.research.elamur.ai/free/en/papers/macina-2023-mathdial-dialogue-tutoring-dataset-rich/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Jakub Macina, Nico Daheim, Sankalan Chowdhury, et al.*2023 · 130 citations*
222. [**An Analysis of Natural Language Inference Benchmarks through the Lens of Negation**Md Mosharaf Hossain, Venelin Kovatchev, Pranoy Dutta, et al.*2020 · 130 citations*](https://md.research.elamur.ai/free/en/papers/hossain-2020-analysis-natural-language-inference-benchmarks/)
223. [**Unit Dependency Graph and its Application to Arithmetic Word Problem Solving**Subhro Roy, Dan Roth*2017 · 130 citations*](https://md.research.elamur.ai/free/en/papers/roy-2017-unit-dependency-graph-arithmetic/)
224. **[Faithful Logical Reasoning via Symbolic Chain-of-Thought](https://md.research.elamur.ai/free/en/papers/xu-2024-faithful-logical-reasoning-symbolic-chain/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jundong Xu, Hao Fei, Liangming Pan, et al.*2024 · 129 citations*
225. **[Automatic Prompt Augmentation and Selection with Chain-of-Thought from Labeled Data](https://md.research.elamur.ai/free/en/papers/shum-2023-automatic-prompt-augmentation-selection-chain/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Kashun Shum, Shizhe Diao, Tong Zhang*2023 · 128 citations*

[← prev](https://md.research.elamur.ai/free/en/topics/reasoning/page/2/) [1](https://md.research.elamur.ai/free/en/topics/reasoning/) [2](https://md.research.elamur.ai/free/en/topics/reasoning/page/2/) **3** [4](https://md.research.elamur.ai/free/en/topics/reasoning/page/4/) [5](https://md.research.elamur.ai/free/en/topics/reasoning/page/5/) [6](https://md.research.elamur.ai/free/en/topics/reasoning/page/6/) [next →](https://md.research.elamur.ai/free/en/topics/reasoning/page/4/)