Elamur Research⌕
☰
home / topics / Reasoning / page 4

🧮 Reasoning

508 papers · page 4 of 6 · 226–325 · the most cited first · all topics

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

 Papers (508)

1 2 3 4 5 6

  1. Deductive Verification of Chain-of-Thought ReasoningConference on Neural Information Processing Systems (NeurIPS)Zhan Ling, Yunhao Fang, Xuanlin Li, et al.2023 · 128 citations
  2. MultiHiertt: Numerical Reasoning over Multi Hierarchical Tabular and Textual DataAnnual Meeting of the Association for Computational Linguistics (ACL)Yilun Zhao, Yunxiang Li, Chenying Li, et al.2022 · 128 citations
  3. Generalization in NLI: Ways (Not) To Go Beyond Simple HeuristicsWorkshop on Insights from Negative Results in NLPPrajjwal Bhargava, Aleksandr Drozd, Anna Rogers2021 · 127 citations
  4. The RepEval 2017 Shared Task: Multi-Genre Natural Language Inference with Sentence RepresentationsWorkshop on Evaluating Vector Space Representations for NLPNikita Nangia, Adina Williams, Angeliki Lazaridou, et al.2017 · 127 citations
  5. OpenWebMath: An Open Dataset of High-Quality Mathematical Web TextarXiv:2310.06786Keiran Paster, Marco Dos Santos, Zhangir Azerbayev, et al.2023 · 125 citations
  6. Performance Impact Caused by Hidden Bias of Training Data for Recognizing Textual EntailmentLanguage Resources and Evaluation Conference (LREC)Masatoshi Tsuchiya2018 · 125 citations
  7. Cross-lingual Prompting: Improving Zero-shot Chain-of-Thought Reasoning across LanguagesConference on Empirical Methods in Natural Language Processing (EMNLP)Libo Qin, Qiguang Chen, Fuxuan Wei, et al.2023 · 122 citations
  8. EQUATE: A Benchmark Evaluation Framework for Quantitative Reasoning in Natural Language InferenceAbhilasha Ravichander, Aakanksha Naik, Carolyn Rose, et al.2019 · 122 citations
  9. DePlot: One-shot visual language reasoning by plot-to-table translationFindings of the Association for Computational LinguisticsFangyu Liu, Julian Eisenschlos, Francesco Piccinno, et al.2023 · 121 citations
  10. DocNLI: A Large-scale Dataset for Document-level Natural Language InferenceFindings of the Association for Computational LinguisticsWenpeng Yin, Dragomir Radev, Caiming Xiong2021 · 121 citations
  11. Don't Take the Premise for Granted: Mitigating Artifacts in Natural Language InferenceAnnual Meeting of the Association for Computational Linguistics (ACL)Yonatan Belinkov, Adam Poliak, Stuart Shieber, et al.2019 · 121 citations
  12. DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal DecompositionarXiv:2504.21801Z. Z. Ren, Zhihong Shao, Junxiao Song, et al.2025 · 120 citations
  13. L1: Controlling How Long A Reasoning Model Thinks With Reinforcement LearningarXiv:2503.04697Pranjal Aggarwal, Sean Welleck2025 · 119 citations
  14. The Impact of Reasoning Step Length on Large Language ModelsFindings of the Association for Computational LinguisticsMingyu Jin, Qinkai Yu, Dong Shu, et al.2024 · 119 citations
  15. UniChart: A Universal Vision-language Pretrained Model for Chart Comprehension and ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Ahmed Masry, Parsa Kavehzadeh, Xuan Long Do, et al.2023 · 119 citations
  16. Analyzing Compositionality-Sensitivity of NLI ModelsProceedings of the AAAI Conference on Artificial IntelligenceYixin Nie, Yicheng Wang, Mohit Bansal2018 · 119 citations
  17. The Meaning Factory: Formal Semantics for Recognizing Textual Entailment and Determining Semantic SimilarityInternational Workshop on Semantic Evaluation (SemEval)Johannes Bjerva, Johan Bos, Rob van der Goot, et al.2014 · 117 citations
  18. ProcessBench: Identifying Process Errors in Mathematical ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Chujie Zheng, Zhenru Zhang, Beichen Zhang, et al.2025 · 116 citations
  19. The CoT Collection: Improving Zero-shot and Few-shot Learning of Language Models via Chain-of-Thought Fine-TuningConference on Empirical Methods in Natural Language Processing (EMNLP)Seungone Kim, Se Joo, Doyoung Kim, et al.2023 · 116 citations
  20. Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language ModelsarXiv:2408.00724Yangzhen Wu, Zhiqing Sun, Shanda Li, et al.2024 · 114 citations
  21. Demystifying Long Chain-of-Thought Reasoning in LLMsarXiv:2502.03373Edward Yeo, Yuxuan Tong, Morry Niu, et al.2025 · 113 citations
  22. OpenThoughts: Data Recipes for Reasoning ModelsarXiv:2506.04178Etash Guha, Ryan Marten, Sedrick Keh, et al.2025 · 113 citations
  23. CRUXEval: A Benchmark for Code Reasoning, Understanding and ExecutionarXiv:2401.03065Alex Gu, Baptiste Rozière, Hugh Leather, et al.2024 · 113 citations
  24. DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree SearcharXiv:2408.08152Huajian Xin, Z. Z. Ren, Junxiao Song, et al.2024 · 113 citations
  25. Quiet-STaR: Language models can teach themselves to think before speaking2024 · 113 citations
  26. Neural Natural Language Inference Models Partially Embed Theories of Lexical Entailment and NegationAtticus Geiger, Kyle Richardson, Christopher Potts2020 · 112 citations
  27. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
  28. UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical ExpressionConference on Empirical Methods in Natural Language Processing (EMNLP)Jiaqi Chen, Tong Li, Jinghui Qin, et al.2022 · 111 citations
  29. Deliberative Alignment: Reasoning Enables Safer Language ModelsarXiv:2412.16339Melody Y. Guan, Manas Joglekar, Eric Wallace, et al.2024 · 109 citations
  30. Solving Challenging Math Word Problems Using GPT-4 Code Interpreter with Code-based Self-VerificationarXiv:2308.07921Aojun Zhou, Ke Wang, Zimu Lu, et al.2023 · 109 citations
  31. “Ask Not What Textual Entailment Can Do for You...”Annual Meeting of the Association for Computational Linguistics (ACL)Mark Sammons, V.G.Vinod Vydiswaran, Dan Roth2010 · 108 citations
  32. GSM-Plus: A Comprehensive Benchmark for Evaluating the Robustness of LLMs as Mathematical Problem SolversAnnual Meeting of the Association for Computational Linguistics (ACL)Qintong Li, Leyang Cui, Xueliang Zhao, et al.2024 · 107 citations
  33. Common Sense Beyond English: Evaluating and Improving Multilingual Language Models for Commonsense ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Bill Yuchen Lin, Seyeon Lee, Xiaoyang Qiao, et al.2021 · 106 citations
  34. Types of Common-Sense Knowledge Needed for Recognizing Textual EntailmentAnnual Meeting of the Association for Computational Linguistics (ACL)Peter LoBue, Alexander Yates2011 · 106 citations
  35. TokenSkip: Controllable Chain-of-Thought Compression in LLMsConference on Empirical Methods in Natural Language Processing (EMNLP)Heming Xia, Chak Tou Leong, Wenjie Wang, et al.2025 · 105 citations
  36. ChatGPT Is a Knowledgeable but Inexperienced Solver: An Investigation of Commonsense Problem in Large Language ModelsLanguage Resources and Evaluation Conference (LREC)Ning Bian, Xianpei Han, Le Sun, et al.2024 · 105 citations
  37. Complementary Explanations for Effective In-Context LearningFindings of the Association for Computational LinguisticsXi Ye, Srinivasan Iyer, Asli Celikyilmaz, et al.2023 · 105 citations
  38. Investigating Reasons for Disagreement in Natural Language InferenceTransactions of the Association for Computational Linguistics (TACL)Nan-Jiang Jiang, Marie-Catherine de Marneffe2022 · 104 citations
  39. HEAD-QA: A Healthcare Dataset for Complex ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)David Vilares, Carlos Gómez-Rodríguez2019 · 104 citations
  40. Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement LearningarXiv:2502.14768Tian Xie, Zitian Gao, Qingnan Ren, et al.2025 · 103 citations
  41. Uncertain Natural Language InferenceAnnual Meeting of the Association for Computational Linguistics (ACL)Tongfei Chen, Zhengping Jiang, Adam Poliak, et al.2020 · 103 citations
  42. Learning to Reason Deductively: Math Word Problem Solving as Complex Relation ExtractionZhanming Jie, Jierui Li, Wei Lu2022 · 102 citations
  43. Probing Natural Language Inference Models through Semantic FragmentsProceedings of the AAAI Conference on Artificial IntelligenceKyle Richardson, Hai Hu, Lawrence S. Moss, et al.2019 · 102 citations
  44. PRover: Proof Generation for Interpretable Reasoning over RulesConference on Empirical Methods in Natural Language Processing (EMNLP)Swarnadeep Saha, Sayan Ghosh, Shashank Srivastava, et al.2020 · 101 citations
  45. MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical ReasoningarXiv:2310.03731Ke Wang, Houxing Ren, Aojun Zhou, et al.2023 · 98 citations
  46. Generating Data to Mitigate Spurious Correlations in Natural Language Inference DatasetsAnnual Meeting of the Association for Computational Linguistics (ACL)Yuxiang Wu, Matt Gardner, Pontus Stenetorp, et al.2022 · 98 citations
  47. Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMsarXiv:2406.18629Xin Lai, Zhuotao Tian, Yukang Chen, et al.2024 · 97 citations
  48. Answering Questions by Meta-Reasoning over Multiple Chains of ThoughtConference on Empirical Methods in Natural Language Processing (EMNLP)Ori Yoran, Tomer Wolfson, Ben Bogin, et al.2023 · 97 citations
  49. On Adversarial Removal of Hypothesis-only Bias in Natural Language InferenceJoint Conference on Lexical and Computational Semantics (*SEM)Yonatan Belinkov, Adam Poliak, Stuart Shieber, et al.2019 · 95 citations
  50. Boosting Language Models Reasoning with Chain-of-Knowledge PromptingAnnual Meeting of the Association for Computational Linguistics (ACL)Jianing Wang, Qiushi Sun, Xiang Li, et al.2024 · 94 citations
  51. MAmmoTH2: Scaling Instructions from the WebConference on Neural Information Processing Systems (NeurIPS)Xiang Yue, Tuney Zheng, Ge Zhang, et al.2024 · 94 citations
  52. SPARTQA: A Textual Question Answering Benchmark for Spatial ReasoningRoshanak Mirzaee, Hossein Rajaby Faghihi, Qiang Ning, et al.2021 · 93 citations
  53. LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Mihir Parmar, Nisarg Patel, Neeraj Varshney, et al.2024 · 92 citations
  54. CODAH: An Adversarially-Authored Question Answering Dataset for Common SenseWorkshop on Evaluating Vector Space Representations for NLPMichael Chen, Mike D'Arcy, Alisa Liu, et al.2019 · 90 citations
  55. Graph Chain-of-Thought: Augmenting Large Language Models by Reasoning on GraphsFindings of the Association for Computational LinguisticsBowen Jin, Chulin Xie, Jiawei Zhang, et al.2024 · 89 citations
  56. LAMBADA: Backward Chaining for Automated Reasoning in Natural LanguageAnnual Meeting of the Association for Computational Linguistics (ACL)Mehran Kazemi, Najoung Kim, Deepti Bhatia, et al.2023 · 89 citations
  57. Math-LLaVA: Bootstrapping Mathematical Reasoning for Multimodal Large Language ModelsFindings of the Association for Computational LinguisticsWenhao Shi, Zhiqiang Hu, Yi Bin, et al.2024 · 86 citations
  58. Diagnosing the First-Order Logical Reasoning Ability Through LogicNLIConference on Empirical Methods in Natural Language Processing (EMNLP)Jidong Tian, Yitian Li, Wenqing Chen, et al.2021 · 86 citations
  59. Back to the Future: Unsupervised Backprop-based Decoding for Counterfactual and Abductive Commonsense ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Lianhui Qin, Vered Shwartz, Peter West, et al.2020 · 86 citations
  60. R^3: Reverse, Retrieve, and Rank for Sarcasm Generation with Commonsense KnowledgeAnnual Meeting of the Association for Computational Linguistics (ACL)Tuhin Chakrabarty, Debanjan Ghosh, Smaranda Muresan, et al.2020 · 86 citations
  61. Tree Edit Models for Recognizing Textual Entailments, Paraphrases, and Answers to QuestionsMichael Heilman, Noah A. Smith2010 · 86 citations
  62. LLMs cannot find reasoning errors, but can correct them given the error locationFindings of the Association for Computational LinguisticsGladys Tyen, Hassan Mansoor, Victor Carbune, et al.2024 · 85 citations
  63. SeaEval for Multilingual Foundation Models: From Cross-Lingual Alignment to Cultural ReasoningConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Bin Wang, Zhengyuan Liu, Xin Huang, et al.2024 · 85 citations
  64. Solving Math Word Problems via Cooperative Reasoning induced Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Xinyu Zhu, Junjie Wang, Lin Zhang, et al.2023 · 85 citations
  65. Evaluating Mathematical Reasoning Beyond AccuracyProceedings of the AAAI Conference on Artificial IntelligenceShijie Xia, Xuefeng Li, Yixin Liu, et al.2024 · 84 citations
  66. Testing the General Deductive Reasoning Capacity of Large Language Models Using OOD ExamplesConference on Neural Information Processing Systems (NeurIPS)Abulhair Saparov, Richard Yuanzhe Pang, Vishakh Padmakumar, et al.2023 · 82 citations
  67. Rainier: Reinforced Knowledge Introspector for Commonsense Question AnsweringConference on Empirical Methods in Natural Language Processing (EMNLP)Jiacheng Liu, Skyler Hallinan, Ximing Lu, et al.2022 · 82 citations
  68. GLM-4.5V and GLM-4.1V-Thinking: Towards Versatile Multimodal Reasoning with Scalable Reinforcement LearningarXiv:2507.01006GLM-V Team, Wenyi Hong, Wenmeng Yu, et al.2025 · 79 citations
  69. Making Reasoning Matter: Measuring and Improving Faithfulness of Chain-of-Thought ReasoningFindings of the Association for Computational LinguisticsDebjit Paul, Robert West, Antoine Bosselut, et al.2024 · 77 citations
  70. CODI: Compressing Chain-of-Thought into Continuous Space via Self-DistillationConference on Empirical Methods in Natural Language Processing (EMNLP)Zhenyi Shen, Hanqi Yan, Linhai Zhang, et al.2025 · 76 citations
  71. A survey on Recognizing Textual Entailment as an NLP EvaluationWorkshop on Evaluation and Comparison of NLP SystemsAdam Poliak2020 · 76 citations
  72. Llama-Nemotron: Efficient Reasoning ModelsarXiv:2505.00949Akhiad Bercovich, Itay Levy, Izik Golan, et al.2025 · 75 citations
  73. Self-Reflection in LLM Agents: Effects on Problem-Solving PerformancearXiv:2405.06682 · 2nd International Conference on Foundation and Large Language Models (FLLM 2024), pp. 476-483Matthew Renze, Erhan Guven2024 · 75 citations
  74. MMLU-ProX: A Multilingual Benchmark for Advanced Large Language Model EvaluationConference on Empirical Methods in Natural Language Processing (EMNLP)Weihao Xuan, Rui Yang, Heli Qi, et al.2025 · 74 citations
  75. CREATOR: Tool Creation for Disentangling Abstract and Concrete Reasoning of Large Language ModelsFindings of the Association for Computational LinguisticsCheng Qian, Chi Han, Yi Fung, et al.2023 · 72 citations
  76. Evaluating BERT for natural language inference: A case study on the CommitmentBankConference on Empirical Methods in Natural Language Processing (EMNLP)Nanjiang Jiang, Marie-Catherine de Marneffe2019 · 72 citations
  77. Aligning Large and Small Language Models via Chain-of-Thought ReasoningConference of the European Chapter of the Association for Computational Linguistics (EACL)Leonardo Ranaldi, Andre Freitas2024 · 70 citations
  78. BRIGHT: A Realistic and Challenging Benchmark for Reasoning-Intensive RetrievalarXiv:2407.12883Hongjin Su, Howard Yen, Mengzhou Xia, et al.2024 · 70 citations
  79. MediQ: Question-Asking LLMs and a Benchmark for Reliable Interactive Clinical ReasoningConference on Neural Information Processing Systems (NeurIPS)Shuyue Stella Li, Vidhisha Balachandran, Shangbin Feng, et al.2024 · 70 citations
  80. StepGame: A New Benchmark for Robust Multi-Hop Spatial Reasoning in TextsZhengxiang Shi, Qiang Zhang, Aldo Lipani2022 · 70 citations
  81. Towards Robustifying NLI Models Against Lexical Dataset BiasesAnnual Meeting of the Association for Computational Linguistics (ACL)Xiang Zhou, Mohit Bansal2020 · 70 citations
  82. An Open-Source Package for Recognizing Textual EntailmentAnnual Meeting of the Association for Computational Linguistics (ACL)Milen Kouylekov, Matteo Negri2010 · 70 citations
  83. Chain-of-Thought Hub: A Continuous Effort to Measure Large Language Models' Reasoning PerformancearXiv:2305.17306Yao Fu, Litu Ou, Mingyu Chen, et al.2023 · 69 citations
  84. A Rate–Distortion view of human pragmatic reasoning?Society for Computation in Linguistics (SCiL)Noga Zaslavsky, Jennifer Hu, Roger P. Levy2021 · 69 citations
  85. It's All in the Heads: Using Attention Heads as a Baseline for Cross-Lingual Transfer in Commonsense ReasoningFindings of the Association for Computational LinguisticsAlexey Tikhonov, Max Ryabinin2021 · 69 citations
  86. ReCEval: Evaluating Reasoning Chains via Correctness and InformativenessConference on Empirical Methods in Natural Language Processing (EMNLP)Archiki Prasad, Swarnadeep Saha, Xiang Zhou, et al.2023 · 68 citations
  87. IMPLI: Investigating NLI Models' Performance on Figurative LanguageKevin Stowe, Prasetya Utama, Iryna Gurevych2022 · 68 citations
  88. Kimi-VL Technical ReportarXiv:2504.07491Kimi Team, Angang Du, Bohong Yin, et al.2025 · 67 citations
  89. Contrastive Decoding Improves Reasoning in Large Language ModelsarXiv:2309.09117Sean O'Brien, Mike Lewis2023 · 67 citations
  90. FORK: A Bite-Sized Test Set for Probing Culinary Cultural Biases in Commonsense Reasoning ModelsFindings of the Association for Computational LinguisticsShramay Palta, Rachel Rudinger2023 · 67 citations
  91. Avoiding the Hypothesis-Only Bias in Natural Language Inference via Ensemble Adversarial TrainingConference on Empirical Methods in Natural Language Processing (EMNLP)Joe Stacey, Pasquale Minervini, Haim Dubossarsky, et al.2020 · 67 citations
  92. A Causal Framework to Quantify the Robustness of Mathematical Reasoning with Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Alessandro Stolfo, Zhijing Jin, Kumar Shridhar, et al.2023 · 65 citations
  93. CoT-Valve: Length-Compressible Chain-of-Thought TuningAnnual Meeting of the Association for Computational Linguistics (ACL)Xinyin Ma, Guangnian Wan, Runpeng Yu, et al.2025 · 64 citations
  94. ThinkPrune: Pruning Long Chain-of-Thought of LLMs via Reinforcement LearningarXiv:2504.01296Bairu Hou, Yang Zhang, Jiabao Ji, et al.2025 · 64 citations
  95. Figurative Language in Recognizing Textual EntailmentFindings of the Association for Computational LinguisticsTuhin Chakrabarty, Debanjan Ghosh, Adam Poliak, et al.2021 · 63 citations
  96. Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement LearningarXiv:2504.13914ByteDance Seed, Jiaze Chen, Tiantian Fan, et al.2025 · 61 citations
  97. Culturally Aware Natural Language InferenceFindings of the Association for Computational LinguisticsJing Huang, Diyi Yang2023 · 61 citations
  98. How well do NLI models capture verb veridicality?Alexis Ross, Ellie Pavlick2019 · 61 citations
  99. MiniMax-M1: Scaling Test-Time Compute Efficiently with Lightning AttentionarXiv:2506.13585MiniMax, Aili Chen, Aonian Li, et al.2025 · 58 citations
  100. Posing Fair Generalization Tasks for Natural Language InferenceConference on Empirical Methods in Natural Language Processing (EMNLP)Atticus Geiger, Ignacio Cases, Lauri Karttunen, et al.2019 · 58 citations

1 2 3 4 5 6

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/topics/reasoning/page/4/