{"total":74,"rows":[{"id":"2206.14858","title":"Solving Quantitative Reasoning Problems with Language Models","created":"2022-06-29","cited_by_count":1392,"area":"lr"},{"id":"2211.10435","title":"PAL: Program-aided Language Models","created":"2022-11-18","cited_by_count":652,"area":"lr"},{"id":"2302.07842","title":"Augmented Language Models: a Survey","created":"2023-02-15","cited_by_count":403,"area":"lr"},{"id":"2310.10631","title":"Llemma: An Open Language Model For Mathematics","created":"2023-10-16","cited_by_count":388,"area":"lr"},{"id":"2212.09597","title":"Reasoning with Language Model Prompting: A Survey","created":"2022-12-19","cited_by_count":252,"area":"lr"},{"id":"2310.15164","title":"LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers","created":"2023-10-23","cited_by_count":168,"area":"lr"},{"id":"2210.07128","title":"Language Models of Code are Few-Shot Commonsense Learners","created":"2022-10-13","cited_by_count":160,"area":"lr"},{"id":"2304.09797","title":"Progressive-Hint Prompting Improves Reasoning in Large Language Models","created":"2023-04-19","cited_by_count":147,"area":"lr"},{"id":"2410.14157","title":"Beyond Autoregression: Discrete Diffusion for Complex Reasoning and Planning","created":"2024-10-18","cited_by_count":135,"area":"lr"},{"id":"2304.02015","title":"How well do Large Language Models perform in Arithmetic tasks?","created":"2023-03-16","cited_by_count":130,"area":"lr"},{"id":"2209.07686","title":"Text and Patterns: For Effective Chain of Thought, It Takes Two to Tango","created":"2022-09-16","cited_by_count":128,"area":"lr"},{"id":"2212.10535","title":"A Survey of Deep Learning for Mathematical Reasoning","created":"2022-12-20","cited_by_count":124,"area":"lr"},{"id":"2211.09066","title":"Teaching Algorithmic Reasoning via In-context Learning","created":"2022-11-15","cited_by_count":112,"area":"lr"},{"id":"2412.16075","title":"Formal Mathematical Reasoning: A New Frontier in AI","created":"2024-12-20","cited_by_count":81,"area":"lr"},{"id":"2407.10040","title":"Lean-STaR: Learning to Interleave Thinking and Proving","created":"2024-07-14","cited_by_count":68,"area":"lr"},{"id":"2410.10878","title":"Herald: A Natural Language Annotated Lean 4 Dataset","created":"2024-10-09","cited_by_count":59,"area":"lr"},{"id":"2403.18120","title":"Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization","created":"2024-03-26","cited_by_count":55,"area":"lr"},{"id":"2406.01940","title":"Process-Driven Autoformalization in Lean 4","created":"2024-06-04","cited_by_count":45,"area":"lr"},{"id":"2402.08957","title":"MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data","created":"2024-02-14","cited_by_count":43,"area":"lr"},{"id":"2507.15225","title":"Solving Formal Math Problems by Decomposition and Iterative Reflection","created":"2025-07-21","cited_by_count":35,"area":"lr"},{"id":"2407.17227","title":"LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover","created":"2024-07-24","cited_by_count":25,"area":"lr"},{"id":"2310.10180","title":"TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models","created":"2023-10-16","cited_by_count":24,"area":"lr"},{"id":"2411.01829","title":"Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically","created":"2024-11-04","cited_by_count":22,"area":"lr"},{"id":"2502.02362","title":"Premise-Augmented Reasoning Chains Improve Error Identification in Math reasoning with LLMs","created":"2025-02-04","cited_by_count":22,"area":"lr"},{"id":"2305.19213","title":"The Magic of IF: Investigating Causal Reasoning Abilities in Large Language Models of Code","created":"2023-05-30","cited_by_count":21,"area":"lr"},{"id":"2510.24592","title":"ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization","created":"2025-10-28","cited_by_count":20,"area":"lr"},{"id":"2412.10673","title":"Proposing and solving olympiad geometry with guided tree search","created":"2024-12-14","cited_by_count":19,"area":"lr"},{"id":"2505.12189","title":"Mitigating Content Effects on Reasoning in Language Models through Fine-Grained Activation Steering","created":"2025-05-18","cited_by_count":18,"area":"lr"},{"id":"2507.06181","title":"CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization","created":"2025-07-08","cited_by_count":16,"area":"lr"},{"id":"2508.04440","title":"StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion","created":"2025-08-06","cited_by_count":16,"area":"lr"},{"id":"2301.09723","title":"Mathematics, word problems, common sense, and artificial intelligence","created":"2023-01-23","cited_by_count":12,"area":"lr"},{"id":"2606.03303","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","created":"2026-06-02","cited_by_count":12,"area":"lr"},{"id":"2502.17925","title":"LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction","created":"2025-02-25","cited_by_count":10,"area":"lr"},{"id":"2505.20047","title":"Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks","created":"2025-05-26","cited_by_count":10,"area":"lr"},{"id":"2602.13103","title":"R-Diverse: Mitigating Diversity Illusion in Self-Play LLM Training","created":"2026-02-13","cited_by_count":10,"area":"lr"},{"id":"2306.04031","title":"Certified Deductive Reasoning with Language Models","created":"2023-06-06","cited_by_count":8,"area":"lr"},{"id":"2307.10573","title":"Invalid Logic, Equivalent Gains: The Bizarreness of Reasoning in Language Model Prompting","created":"2023-07-20","cited_by_count":8,"area":"lr"},{"id":"2505.15960","title":"Efficient PRM Training Data Synthesis via Formal Verification","created":"2025-05-21","cited_by_count":8,"area":"lr"},{"id":"2506.17104","title":"Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving","created":"2025-06-20","cited_by_count":8,"area":"lr"},{"id":"2410.11900","title":"FLARE: Faithful Logic-Aided Reasoning and Exploration","created":"2024-10-14","cited_by_count":7,"area":"lr"},{"id":"2501.16961","title":"Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers","created":"2025-01-28","cited_by_count":7,"area":"lr"},{"id":"2606.20068","title":"Process-Verified Reinforcement Learning for Theorem Proving via Lean","created":"2026-06-18","cited_by_count":7,"area":"lr"},{"id":"2506.10903","title":"Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning","created":"2025-06-12","cited_by_count":6,"area":"lr"},{"id":"2510.09517","title":"StatEval: A Comprehensive Benchmark for Large Language Models in Statistics","created":"2025-10-10","cited_by_count":6,"area":"lr"},{"id":"2408.16081","title":"Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents","created":"2024-08-28","cited_by_count":5,"area":"lr"},{"id":"2603.19514","title":"Learning to Disprove: Formal Counterexample Generation with Large Language Models","created":"2026-03-19","cited_by_count":5,"area":"lr"},{"id":"2507.11275","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","created":"2025-07-15","cited_by_count":4,"area":"lr"},{"id":"2508.00459","title":"Thinking Machines: Mathematical Reasoning in the Age of LLMs","created":"2025-08-01","cited_by_count":4,"area":"lr"},{"id":"2605.20531","title":"Pseudo-Formalization for Automatic Proof Verification","created":"2026-05-19","cited_by_count":4,"area":"lr"},{"id":"2607.04655","title":"FormalRx: Rectify and eXamine Semantic Failures in Autoformalization","created":"2026-07-06","cited_by_count":4,"area":"lr"},{"id":"2312.08926","title":"Modeling Complex Mathematical Reasoning via Large Language Model based MathAgent","created":"2023-12-14","cited_by_count":3,"area":"lr"},{"id":"2404.18384","title":"Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions","created":"2024-04-29","cited_by_count":3,"area":"lr"},{"id":"2502.17216","title":"Intermediate Languages Matter: Formal Choice Drives Neurosymbolic LLM Reasoning","created":"2025-02-24","cited_by_count":3,"area":"lr"},{"id":"2504.04945","title":"A Llama walks into the 'Bar': Efficient Supervised Fine-Tuning for Legal Reasoning in the Multi-state Bar Exam","created":"2025-04-07","cited_by_count":3,"area":"lr"},{"id":"2508.15878","title":"Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs","created":"2025-08-21","cited_by_count":3,"area":"lr"},{"id":"2410.08437","title":"Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks","created":"2024-10-11","cited_by_count":2,"area":"lr"},{"id":"2503.11657","title":"Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving","created":"2025-02-04","cited_by_count":2,"area":"lr"},{"id":"2509.06809","title":"Saturation-Driven Dataset Generation for LLM Mathematical Reasoning in the TPTP Ecosystem","created":"2025-09-08","cited_by_count":2,"area":"lr"},{"id":"2511.00521","title":"Reasoning Planning for Language Models","created":"2025-11-01","cited_by_count":2,"area":"lr"},{"id":"2605.09675","title":"CodeClinic: Evaluating Automation of Coding Skills for Clinical Reasoning Agents","created":"2026-05-10","cited_by_count":2,"area":"lr"},{"id":"2607.11307","title":"Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization","created":"2026-07-13","cited_by_count":2,"area":"lr"},{"id":"2505.13252","title":"A Reality Check of Language Models as Formalizers on Constraint Satisfaction Problems","created":"2025-05-19","cited_by_count":1,"area":"lr"},{"id":"2510.16309","title":"MedRule-KG: A Knowledge-Graph--Steered Scaffold for Mathematical Reasoning with a Lightweight Verifier","created":"2025-10-18","cited_by_count":1,"area":"lr"},{"id":"2605.30914","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","created":"2026-05-29","cited_by_count":1,"area":"lr"},{"id":"2606.24124","title":"VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification","created":"2026-06-23","cited_by_count":1,"area":"lr"},{"id":"2512.03272","title":"When Do Symbolic Solvers Enhance Reasoning in Large Language Models?","created":"2025-12-02","cited_by_count":0,"area":"lr"},{"id":"2603.12953","title":"Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning","created":"2026-03-13","cited_by_count":0,"area":"lr"},{"id":"2604.02709","title":"Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy","created":"2026-04-03","cited_by_count":0,"area":"lr"},{"id":"2605.15131","title":"Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models","created":"2026-05-14","cited_by_count":0,"area":"lr"},{"id":"2605.17255","title":"CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean","created":"2026-05-17","cited_by_count":0,"area":"lr"},{"id":"2606.19588","title":"Analyzing the Narration Gap in LLM-Solver Loops","created":"2026-06-17","cited_by_count":0,"area":"lr"},{"id":"2606.28747","title":"Self-Supervised Theorem Discovery in a Formal Axiomatic System","created":"2026-06-27","cited_by_count":0,"area":"lr"},{"id":"2608.28481","title":"NL2AGBench: Benchmarking LLM Auto-Formalization for AlphaGeometry","created":"2026-08-28","cited_by_count":0,"area":"lr"},{"id":"2609.09776","title":"Proof-Carrying Cognition: Closing the Verification Gap with Reality-Settled Reward","created":"2026-09-09","cited_by_count":0,"area":"lr"}],"next_cursor":null}