{"total":31,"rows":[{"id":"2206.14858","title":"Solving Quantitative Reasoning Problems with Language Models","created":"2022-06-29","cited_by_count":1392,"area":"lr"},{"id":"2210.01240","title":"Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought","created":"2022-10-03","cited_by_count":337,"area":"lr"},{"id":"2307.10635","title":"SciBench: Evaluating College-Level Scientific Problem-Solving Abilities of Large Language Models","created":"2023-07-20","cited_by_count":256,"area":"lr"},{"id":"2305.10037","title":"Can Language Models Solve Graph Problems in Natural Language?","created":"2023-05-17","cited_by_count":252,"area":"lr"},{"id":"2310.06786","title":"OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text","created":"2023-10-10","cited_by_count":155,"area":"lr"},{"id":"2212.02746","title":"UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression","created":"2022-12-06","cited_by_count":137,"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":"2205.11502","title":"On the Paradox of Learning to Reason from Data","created":"2022-05-23","cited_by_count":93,"area":"lr"},{"id":"2304.10703","title":"ReCEval: Evaluating Reasoning Chains via Correctness and Informativeness","created":"2023-04-21","cited_by_count":77,"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":"2506.08446","title":"A Survey on Large Language Models for Mathematical Reasoning","created":"2025-06-10","cited_by_count":52,"area":"lr"},{"id":"2508.15096","title":"Nemotron-CC-Math: A 133 Billion-Token-Scale High Quality Math Pretraining Dataset","created":"2025-08-20","cited_by_count":38,"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":"2501.16207","title":"From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs","created":"2025-01-27","cited_by_count":18,"area":"lr"},{"id":"2203.12186","title":"AbductionRules: Training Transformers to Explain Unexpected Inputs","created":"2022-03-23","cited_by_count":17,"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":"2410.12881","title":"MIND: Math Informed syNthetic Dialogues for Pretraining LLMs","created":"2024-10-15","cited_by_count":14,"area":"lr"},{"id":"2210.17517","title":"Lila: A Unified Benchmark for Mathematical Reasoning","created":"2022-10-31","cited_by_count":13,"area":"lr"},{"id":"2503.17726","title":"A Survey on Mathematical Reasoning and Optimization with Large Language Models","created":"2025-03-22","cited_by_count":12,"area":"lr"},{"id":"2505.22756","title":"Decomposing Elements of Problem Solving: What \"Math\" Does RL Teach?","created":"2025-05-28","cited_by_count":10,"area":"lr"},{"id":"2210.02615","title":"Learning to Reason With Relational Abstractions","created":"2022-10-06","cited_by_count":5,"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":"2307.09998","title":"Controlling Equational Reasoning in Large Language Models with Prompt Interventions","created":"2023-07-19","cited_by_count":1,"area":"lr"},{"id":"2508.17153","title":"Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models","created":"2025-08-23","cited_by_count":0,"area":"lr"},{"id":"2601.13392","title":"Beyond Memorization: Testing LLM Reasoning on Unseen Theory of Computation Tasks","created":"2026-01-19","cited_by_count":0,"area":"lr"},{"id":"2605.09012","title":"Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics","created":"2026-05-09","cited_by_count":0,"area":"lr"},{"id":"2606.06526","title":"CrowdMath: A Dataset of Crowdsourced Mathematical Research Discussions","created":"2026-06-02","cited_by_count":0,"area":"lr"},{"id":"2607.12480","title":"TRACE: An Operational Reasoning Schema for Auditable Agentic Commitments","created":"2026-07-14","cited_by_count":0,"area":"lr"},{"id":"2608.26950","title":"From Atomic to Agentic: Towards Interpretable Evaluation of LLMs' Agentic Mathematical Capabilities","created":"2026-08-27","cited_by_count":0,"area":"lr"}],"next_cursor":null}