Papers citing 'LeanReasoner: Boosting Complex Logical Reasoning with Lean'

Title
RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows Hamed Mahdavi Pouria Mahdavinia Samira Malek Pegah Mohammadipour Alireza Hashemi Majid Daliri Alireza Farhadi Amir Khasahmadi Niloofar Mireshghallah V. Honavar 132 1 0 10 Oct 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 88 0 0 26 Sep 2025
LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4 Matěj Kripner Michal Šustr Milan Straka LRM 165 1 0 19 Jul 2025
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal VerificationAnnual Meeting of the Association for Computational Linguistics (ACL), 2025 Chengwu Liu Ye Yuan Yichun Yin Yan Xu Xin Xu Zaoyu Chen Yasheng Wang Lifeng Shang Qun Liu Ming Zhang LRM 326 7 0 05 Jun 2025
Robust Hypothesis Generation: LLM-Automated Language Bias for Inductive Logic Programming Yang Yang Jiemin Wu Yutao Yue 104 1 0 27 May 2025
Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks Debargha Ganguly Vikash Singh Sreehari Sankar Biyao Zhang Xuecen Zhang Srinivasan Iyengar Xiaotian Han Amit Sharma Shivkumar Kalyanaraman Vipin Chaudhary 279 2 0 26 May 2025
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning Azim Ospanov Farzan Farnia Roozbeh Yousefzadeh LRM 450 7 0 09 May 2025
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement Xin Quan Marco Valentino Danilo S. Carvalho Dhairya Dalal André Freitas LRM 277 6 0 05 Apr 2025
Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics Hamed Mahdavi Alireza Hashemi Majid Daliri Pegah Mohammadipour Alireza Farhadi Samira Malek Yekta Yazdanifard Amir Khasahmadi V. Honavar ELM LRM 376 16 0 01 Apr 2025
A Survey on Mathematical Reasoning and Optimization with Large Language Models Ali Forootani OffRL LRM AI4CE 284 10 0 22 Mar 2025
Improving Chain-of-Thought Reasoning via Quasi-Symbolic AbstractionsAnnual Meeting of the Association for Computational Linguistics (ACL), 2025 Leonardo Ranaldi Marco Valentino André Freitas ReLM LRM 164 15 0 18 Feb 2025
Integrating Expert Knowledge into Logical Programs via LLMs Franciszek Górski Oskar Wysocki Marco Valentino André Freitas 910 3 0 17 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 544 21 0 03 Jan 2025
CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning Joshua Ong Jun Leang Aryo Pradipta Gema Shay B. Cohen ReLM LRM ReCod 316 9 0 14 Oct 2024
Consistent Autoformalization for Constructing Mathematical LibrariesConference on Empirical Methods in Natural Language Processing (EMNLP), 2024 Lan Zhang Xin Quan André Freitas AI4CE 191 12 0 05 Oct 2024
RATIONALYST: Mining Implicit Rationales for Process Supervision of Reasoning Dongwei Jiang Guoxuan Wang Yining Lu Andrew Wang Jingyu Zhang Chuyu Liu Benjamin Van Durme Daniel Khashabi LRM ReLM 179 3 0 01 Oct 2024
To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoningInternational Conference on Learning Representations (ICLR), 2024 Zayne Sprague Fangcong Yin Juan Diego Rodriguez Dongwei Jiang Manya Wadhwa Prasann Singhal Xinyu Zhao Xi Ye Kyle Mahowald Greg Durrett ReLM LRM 576 226 0 18 Sep 2024
A Survey on Deep Learning for Theorem Proving Zhaoyu Li Jialiang Sun Logan Murphy Qidong Su Zenan Li Xian Zhang Kaiyu Yang Xujie Si LRM 268 47 0 15 Apr 2024