Who cites Martin Riddell
- Towards Reasoning in Large Language Models: A SurveyFindings of the Association for Computational LinguisticsJie Huang, Kevin Chen-Chuan Chang2023 · 780 citations
- LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for CodearXiv:2403.07974Naman Jain, King Han, Alex Gu, et al.2024 · 578 citations
- Large Language Models Can Be Easily Distracted by Irrelevant ContextarXiv:2302.00093Freda Shi, Xinyun Chen, Kanishka Misra, et al.2023 · 534 citations
- Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical ReasoningarXiv:2305.12295Liangming Pan, Alon Albalak, Xinyi Wang, et al.2023 · 374 citations
- A Survey on Large Language Models for Code GenerationarXiv:2406.00515Juyong Jiang, Fan Wang, Jiasi Shen, et al.2024 · 367 citations
- Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-ThoughtarXiv:2210.01240Abulhair Saparov, He He2022 · 244 citations
- FOLIO: Natural Language Reasoning with First-Order LogicarXiv:2209.00840Simeng Han, Hailey Schoelkopf, Yilun Zhao, et al.2022 · 219 citations
- Evaluating Large Language Models: A Comprehensive SurveyarXiv:2310.19736Zishan Guo, Renren Jin, Chuang Liu, et al.2023 · 182 citations
- LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic ProversConference on Empirical Methods in Natural Language Processing (EMNLP)Theo X. Olausson, Alex Gu, Benjamin Lipkin, et al.2023 · 172 citations
- Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and BeyondIEEE Transactions on Knowledge and Data EngineeringFangzhi Xu, Qika Lin, Jiawei Han, et al.2023 · 142 citations
- To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoningarXiv:2409.12183Zayne Sprague, Fangcong Yin, Juan Diego Rodriguez, et al.2024 · 138 citations
- Faithful Logical Reasoning via Symbolic Chain-of-ThoughtAnnual Meeting of the Association for Computational Linguistics (ACL)Jundong Xu, Hao Fei, Liangming Pan, et al.2024 · 129 citations
- FLASK: Fine-grained Language Model Evaluation based on Alignment Skill SetsarXiv:2307.10928Seonghyeon Ye, Doyoung Kim, Sungdong Kim, et al.2023 · 100 citations
- 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 · 93 citations
- 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
- 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 · 84 citations
- 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 · 73 citations
- Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP)Nisarg Patel, Mohith Kulkarni, Mihir Parmar, et al.2024 · 39 citations
- When is Tree Search Useful for LLM Planning? It Depends on the DiscriminatorAnnual Meeting of the Association for Computational Linguistics (ACL)Ziru Chen, Michael White, Ray Mooney, et al.2024 · 28 citations
- L2CEval: Evaluating Language-to-Code Generation Capabilities of Large Language ModelsTransactions of the Association for Computational Linguistics (TACL)Ansong Ni, Pengcheng Yin, Yilun Zhao, et al.2024 · 27 citations
- Logical Reasoning over Natural Language as Knowledge Representation: A SurveyarXiv:2303.12023Zonglin Yang, Xinya Du, Rui Mao, et al.2023 · 27 citations
- Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language ModelsarXiv:2310.00836Man Luo, Shrinidhi Kumbhar, Ming shen, et al.2023 · 27 citations
- S²R: Teaching LLMs to Self-verify and Self-correct via Reinforcement LearningAnnual Meeting of the Association for Computational Linguistics (ACL)Ruotian Ma, Peisong Wang, Cheng Liu, et al.2025 · 26 citations
- How Likely Do LLMs with CoT Mimic Human Reasoning?International Conference on Computational Linguistics (COLING)Guangsheng Bao, Hongbo Zhang, Cunxiang Wang, et al.2025 · 22 citations
- A Survey on Evaluation of LLM-based AgentsFindings of the Association for Computational LinguisticsAsaf Yehudai, Lilach Eden, Alan Li, et al.2026 · 21 citations
- RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World ScenariosAnnual Meeting of the Association for Computational Linguistics (ACL)Ruiwen Zhou, Wenyue Hua, Liangming Pan, et al.2025 · 21 citations
- RECKONING: Reasoning through Dynamic Knowledge EncodingConference on Neural Information Processing Systems (NeurIPS)Zeming Chen, Gail Weiss, Eric Mitchell, et al.2023 · 19 citations
- Logical Phase Transitions: Understanding Collapse in LLM Logical ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Xinglang Zhang, Yunyao Zhang, ZeLiang Chen, et al.2026 · 17 citations
- Skills-in-Context Prompting: Unlocking Compositionality in Large Language ModelsarXiv:2308.00304Jiaao Chen, Xiaoman Pan, Dian Yu, et al.2023 · 17 citations
- Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve FrameworkAnnual Meeting of the Association for Computational Linguistics (ACL)Jundong Xu, Hao Fei, Meng Luo, et al.2025 · 16 citations
- Semantic-Aware Logical Reasoning via a Semiotic FrameworkAnnual Meeting of the Association for Computational Linguistics (ACL)Yunyao Zhang, Xinglang Zhang, Junxi Sheng, et al.2026 · 13 citations
- JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language ModelsarXiv:2501.14851Michael K. Chen, Xikun Zhang, Dacheng Tao2025 · 10 citations
- MTR-Bench: A Comprehensive Benchmark for Multi-Turn Reasoning EvaluationAnnual Meeting of the Association for Computational Linguistics (ACL)Xiaoyuan Li, Keqin Bao, Yubo Ma, et al.2026 · 9 citations
- LogicPro: Improving Complex Logical Reasoning via Program-Guided LearningAnnual Meeting of the Association for Computational Linguistics (ACL)Jin Jiang, Yuchen Yan, Yang Liu, et al.2025 · 8 citations
- Deliberate Reasoning in Language Models as Structure-Aware Planning with an Accurate World ModelAnnual Meeting of the Association for Computational Linguistics (ACL)Siheng Xiong, Ali Payani, Yuan Yang, et al.2025 · 7 citations
- InductionBench: LLMs Fail in the Simplest Complexity ClassAnnual Meeting of the Association for Computational Linguistics (ACL)Wenyue Hua, Tyler Wong, Fei Sun, et al.2025 · 5 citations
- Instructions are all you need: Self-supervised Reinforcement Learning for Instruction FollowingAnnual Meeting of the Association for Computational Linguistics (ACL)Qingyu Ren, Qianyu He, Powei Chang, et al.2026 · 3 citations
- J4R: Learning to Judge with Equivalent Initial State Group Relative Policy OptimizationAnnual Meeting of the Association for Computational Linguistics (ACL)Austin Xu, Yilun Zhou, Xuan-Phi Nguyen, et al.2026 · 3 citations
- NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language ModelsFindings of the Association for Computational LinguisticsRizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng, et al.2026 · 3 citations
- ToolGate: Contract-Grounded and Verified Tool Execution for LLMsFindings of the Association for Computational LinguisticsYanming Liu, Xinyue Peng, Jiannan Cao, et al.2026 · 3 citations
- Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver CompositionConference of the European Chapter of the Association for Computational Linguistics (EACL)Lei Xu, Pierre Beckmann, Marco Valentino, et al.2026 · 2 citations
- Argument-Based Consistency in Toxicity Explanations of LLMsFindings of the Association for Computational LinguisticsRamaravind Kommiya Mothilal, Joanna Roy, Syed Ishtiaque Ahmed, et al.2026 · 2 citations
- Constructing coherent spatial memory in LLM agents through graph rectificationAnnual Meeting of the Association for Computational Linguistics (ACL)Puzhen Zhang, Xuyang Chen, Yu Feng, et al.2026 · 1 citation
- GIL-Zaragoza at SemEval 2026 Task 11: Comparing Classification, Autoformalization, and Ontologies for Formal Reasoning CapabilitiesInternational Workshop on Semantic Evaluation (SemEval)Francisco Lopez-Ponce, Lucia Pitarch, Iván Saavedra Martínez, et al.2026 · 1 citation
- ReportLogic: Evaluating Logical Quality in Deep Research ReportsAnnual Meeting of the Association for Computational Linguistics (ACL)Jujia Zhao, Zhaoxin Huan, Zihan Wang, et al.2026 · 1 citation
- Improving Chain-of-Thought for Logical Reasoning via Attention-Aware InterventionFindings of the Association for Computational LinguisticsPhuong Minh Nguyen, Dang Huu-Tien, Naoya Inoue2026
- KisMATH: Do LLMs Have Knowledge of Implicit Structures in Mathematical Reasoning?Transactions of the Association for Computational Linguistics (TACL)Soumadeep Saha, Akshay Chaturvedi, Saptarshi Saha, et al.2026
- Linear Probes Detect Task Format, Not Reasoning Mode in Language Model Hidden StatesWorkshop on Trustworthy NLPSubramanyam Sahoo, Vinija Jain, Aman Chadha, et al.2026
- Reflect, Rewrite, Repeat: How Simple Arithmetic Enables Advanced Reasoning in Small Language ModelsFindings of the Association for Computational LinguisticsMengdie Flora Wang, Haochen Xie, Mun Young Kim, et al.2026
- SR-RAG: Verifiable Multi-Hop Reasoning via On-the-fly Symbolic Graph ConstructionFindings of the Association for Computational LinguisticsZehua Wang, Zhaojin Zhang, Boyu Qiu, et al.2026
This page in Markdown → https://md.research.elamur.ai/free/en/authors/martin-riddell/cited-by/