{"total":67,"rows":[{"id":"2505.23281","title":"MathArena: Evaluating LLMs on Uncontaminated Math Competitions","created":"2025-05-29","cited_by_count":297,"area":"lr"},{"id":"2411.04872","title":"FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI","created":"2024-11-07","cited_by_count":243,"area":"lr"},{"id":"2504.11354","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","created":"2025-04-15","cited_by_count":180,"area":"lr"},{"id":"2503.08679","title":"Chain-of-Thought Reasoning In The Wild Is Not Always Faithful","created":"2025-03-11","cited_by_count":170,"area":"lr"},{"id":"2507.23726","title":"Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving","created":"2025-07-31","cited_by_count":101,"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":"2502.00212","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","created":"2025-01-31","cited_by_count":79,"area":"lr"},{"id":"2503.21934","title":"Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad","created":"2025-03-27","cited_by_count":74,"area":"lr"},{"id":"2503.21380","title":"Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models","created":"2025-03-27","cited_by_count":70,"area":"lr"},{"id":"2507.16812","title":"MegaScience: Pushing the Frontiers of Post-Training Datasets for Science Reasoning","created":"2025-07-22","cited_by_count":59,"area":"lr"},{"id":"2505.02735","title":"FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models","created":"2025-05-05","cited_by_count":48,"area":"lr"},{"id":"2410.04509","title":"ErrorRadar: Benchmarking Complex Mathematical Reasoning of Multimodal Large Language Models Via Error Detection","created":"2024-10-06","cited_by_count":37,"area":"lr"},{"id":"2410.06209","title":"LeanAgent: Lifelong Learning for Formal Theorem Proving","created":"2024-10-08","cited_by_count":35,"area":"lr"},{"id":"2502.15815","title":"Theoretical Physics Benchmark (TPBench) -- a Dataset and Study of AI Reasoning Capabilities in Theoretical Physics","created":"2025-02-19","cited_by_count":34,"area":"lr"},{"id":"2505.03171","title":"CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics","created":"2025-05-06","cited_by_count":31,"area":"lr"},{"id":"2510.12787","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","created":"2025-10-14","cited_by_count":31,"area":"lr"},{"id":"2507.08649","title":"Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning","created":"2025-07-11","cited_by_count":27,"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":"2506.07927","title":"Solving Inequality Proofs with Large Language Models","created":"2025-06-09","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":"2510.13888","title":"Reliable Fine-Grained Evaluation of Natural Language Math Proofs","created":"2025-10-14","cited_by_count":18,"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":"2510.12171","title":"MatSciBench: Benchmarking the Reasoning Ability of Large Language Models in Materials Science","created":"2025-10-14","cited_by_count":15,"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":"2508.08292","title":"Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs","created":"2025-08-05","cited_by_count":11,"area":"lr"},{"id":"2508.17573","title":"Humanizing Machines: Rethinking LLM Anthropomorphism Through a Multi-Level Framework of Design","created":"2025-08-25","cited_by_count":11,"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":"2505.12680","title":"Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities","created":"2025-05-19","cited_by_count":8,"area":"lr"},{"id":"2508.08833","title":"An Investigation of Robustness of LLMs in Mathematical Reasoning: Benchmarking with Mathematically-Equivalent Transformation of Advanced Mathematical Problems","created":"2025-08-12","cited_by_count":8,"area":"lr"},{"id":"2502.09955","title":"Diverse Inference and Verification for Advanced Reasoning","created":"2025-02-14","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":"2603.19514","title":"Learning to Disprove: Formal Counterexample Generation with Large Language Models","created":"2026-03-19","cited_by_count":5,"area":"lr"},{"id":"2608.31075","title":"Scaling Large Reasoning Models beyond Human Supervision: A Path toward Superintelligence","created":"2026-08-31","cited_by_count":5,"area":"lr"},{"id":"2505.09825","title":"KRISTEVA: Close Reading as a Novel Task for Benchmarking Interpretive Reasoning","created":"2025-05-14","cited_by_count":4,"area":"lr"},{"id":"2507.11936","title":"A Survey of Deep Learning for Geometry Problem Solving","created":"2025-07-16","cited_by_count":4,"area":"lr"},{"id":"2510.25626","title":"Are Language Models Efficient Reasoners? A Perspective from Logic Programming","created":"2025-10-29","cited_by_count":4,"area":"lr"},{"id":"2601.01400","title":"EternalMath: A Living Benchmark of Frontier Mathematics that Evolves with Human Discovery","created":"2026-01-04","cited_by_count":4,"area":"lr"},{"id":"2602.02561","title":"MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics","created":"2026-01-30","cited_by_count":4,"area":"lr"},{"id":"2604.23002","title":"FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean","created":"2026-04-24","cited_by_count":4,"area":"lr"},{"id":"2606.12594","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","created":"2026-06-10","cited_by_count":4,"area":"lr"},{"id":"2606.31134","title":"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics","created":"2026-06-30","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":"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":"2511.08022","title":"Numerical Sensitivity and Robustness: Exploring the Flaws of Mathematical Reasoning in Large Language Models","created":"2025-11-11","cited_by_count":3,"area":"lr"},{"id":"2512.00997","title":"IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch","created":"2025-11-30","cited_by_count":3,"area":"lr"},{"id":"2512.10187","title":"MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification","created":"2025-12-11","cited_by_count":2,"area":"lr"},{"id":"2608.01522","title":"Question Begets Question: Self-Evolving Curriculum for Reinforcement Fine-Tuning on Competition Mathematics","created":"2026-08-02","cited_by_count":2,"area":"lr"},{"id":"2505.18492","title":"Formally Solving Answer-Construction Problems in Lean","created":"2025-05-24","cited_by_count":1,"area":"lr"},{"id":"2601.06795","title":"GDEPO: Group Dual-dynamic and Equal-right Advantage Policy Optimization with Enhanced Training Data Utilization for Sample-Constrained Reinforcement Learning","created":"2026-01-11","cited_by_count":1,"area":"lr"},{"id":"2603.14628","title":"s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs","created":"2026-03-15","cited_by_count":1,"area":"lr"},{"id":"2605.07147","title":"MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries","created":"2026-05-08","cited_by_count":1,"area":"lr"},{"id":"2605.09292","title":"Beyond Accuracy: Evaluating Strategy Diversity in LLM Mathematical Reasoning","created":"2026-05-10","cited_by_count":1,"area":"lr"},{"id":"2605.15445","title":"From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates","created":"2026-05-14","cited_by_count":1,"area":"lr"},{"id":"2605.30861","title":"Distilling LLM Feedback for Lean Theorem Proving","created":"2026-05-29","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.28841","title":"LAMP: Lean-based Agentic framework with MCP and Proof Repair","created":"2026-06-27","cited_by_count":1,"area":"lr"},{"id":"2607.17352","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","created":"2026-07-19","cited_by_count":1,"area":"lr"},{"id":"2510.12997","title":"Max It or Miss It: Benchmarking LLM On Solving Extremal Problems","created":"2025-10-14","cited_by_count":0,"area":"lr"},{"id":"2604.18050","title":"The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data","created":"2026-04-20","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":"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.03858","title":"PyraMathBench: Evaluating and Improving Mathematical Capability in Large Language Models","created":"2026-06-02","cited_by_count":0,"area":"lr"},{"id":"2608.25449","title":"MathAdv: What Theorem Provers Know, Reason, Formalize, and Generalize","created":"2026-08-26","cited_by_count":0,"area":"lr"},{"id":"2609.30192","title":"SAGE: Mitigating Long-Horizon Reasoning Biases via Topological Guidance","created":"2026-09-24","cited_by_count":0,"area":"lr"},{"id":"2609.32235","title":"Solving Every Step Is Not Enough: Milestone Oracles Reveal a Composition Gap in LLM Math Reasoning","created":"2026-09-26","cited_by_count":0,"area":"lr"},{"id":"2610.16755","title":"The Multilingual Artificial Hivemind: Do All LLMs Think Alike in Every Language?","created":"2026-10-12","cited_by_count":0,"area":"lr"}],"next_cursor":null}