{"list":"other","total":63,"rows":[{"id":"2110.14168","title":"Training Verifiers to Solve Math Word Problems","created":"2021-10-27","cited_by_count":10109},{"id":"2306.05685","title":"Judging LLM-as-a-Judge with MT-Bench and Chatbot Arena","created":"2023-06-09","cited_by_count":8626},{"id":"2103.03874","title":"Measuring Mathematical Problem Solving With the MATH Dataset","created":"2021-03-05","cited_by_count":5371},{"id":"2506.13131","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","created":"2025-06-16","cited_by_count":867},{"id":"2601.11868","title":"Terminal-Bench: Benchmarking Agents on Hard, Realistic Tasks in Command Line Interfaces","created":"2026-01-17","cited_by_count":585},{"id":"2306.15626","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","created":"2023-06-27","cited_by_count":427},{"id":"2109.00110","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","created":"2021-08-31","cited_by_count":391},{"id":"2602.12670","title":"SkillsBench: Benchmarking How Well Agent Skills Work Across Diverse Tasks","created":"2026-02-13","cited_by_count":315},{"id":"2505.23281","title":"MathArena: Evaluating LLMs on Uncontaminated Math Competitions","created":"2025-05-29","cited_by_count":297},{"id":"2210.12283","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","created":"2022-10-21","cited_by_count":291},{"id":"2504.21801","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","created":"2025-04-30","cited_by_count":287},{"id":"2205.12615","title":"Autoformalization with Large Language Models","created":"2022-05-25","cited_by_count":263},{"id":"2411.04872","title":"FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI","created":"2024-11-07","cited_by_count":243},{"id":"2205.11491","title":"HyperTree Proof Search for Neural Theorem Proving","created":"2022-05-23","cited_by_count":197},{"id":"2408.08152","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","created":"2024-08-15","cited_by_count":197},{"id":"2302.12433","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","created":"2023-02-24","cited_by_count":192},{"id":"2407.11214","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","created":"2024-07-15","cited_by_count":165},{"id":"2605.00674","title":"Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs","created":"2026-05-01","cited_by_count":137},{"id":"2406.03847","title":"Lean Workbook: A large-scale Lean problem set formalized from natural language math problems","created":"2024-06-06","cited_by_count":122},{"id":"2308.04371","title":"Cumulative Reasoning with Large Language Models","created":"2023-08-08","cited_by_count":94},{"id":"2310.04353","title":"An In-Context Learning Agent for Formal Theorem-Proving","created":"2023-10-06","cited_by_count":82},{"id":"2507.15855","title":"Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline","created":"2025-07-21","cited_by_count":82},{"id":"2510.05592","title":"In-the-Flow Agentic System Optimization for Effective Planning and Tool Use","created":"2025-10-07","cited_by_count":72},{"id":"2509.22819","title":"Hilbert: Recursively Building Formal Proofs with Informal Reasoning","created":"2025-09-26","cited_by_count":60},{"id":"2601.14027","title":"Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics","created":"2026-01-20","cited_by_count":50},{"id":"2602.10177","title":"Towards Autonomous Mathematics Research","created":"2026-02-10","cited_by_count":40},{"id":"2602.05192","title":"First Proof","created":"2026-02-05","cited_by_count":32},{"id":"2606.05405","title":"Agents' Last Exam","created":"2026-06-03","cited_by_count":31},{"id":"2506.21621","title":"The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs","created":"2025-06-23","cited_by_count":30},{"id":"2509.06493","title":"Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers","created":"2025-09-08","cited_by_count":28},{"id":"2510.04721","title":"BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs","created":"2025-10-06","cited_by_count":27},{"id":"2405.14414","title":"Proving Theorems Recursively","created":"2024-05-23","cited_by_count":26},{"id":"2605.22763","title":"Advancing Mathematics Research with AI-Driven Formal Proof Search","created":"2026-05-21","cited_by_count":23},{"id":"2510.13888","title":"Reliable Fine-Grained Evaluation of Natural Language Math Proofs","created":"2025-10-14","cited_by_count":18},{"id":"2602.24273","title":"A Minimal Agent for Automated Theorem Proving","created":"2026-02-27","cited_by_count":18},{"id":"2509.26076","title":"IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation","created":"2025-09-30","cited_by_count":13},{"id":"2604.24021","title":"QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems","created":"2026-04-27","cited_by_count":13},{"id":"2606.03303","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","created":"2026-06-02","cited_by_count":12},{"id":"2606.05400","title":"LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization","created":"2026-06-03","cited_by_count":12},{"id":"2310.07957","title":"A New Approach Towards Autoformalization","created":"2023-10-12","cited_by_count":10},{"id":"2602.24173","title":"LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics","created":"2026-02-27","cited_by_count":10},{"id":"2605.29955","title":"Formalizing Mathematics at Scale","created":"2026-05-28","cited_by_count":10},{"id":"2606.31002","title":"Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization","created":"2026-06-30","cited_by_count":10},{"id":"2606.06468","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","created":"2026-06-04","cited_by_count":9},{"id":"2607.06447","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","created":"2026-07-07","cited_by_count":8},{"id":"2605.22875","title":"RMA: an Agentic System for Research-Level Mathematical Problems","created":"2026-05-20","cited_by_count":7},{"id":"2607.09474","title":"ProofCouncil: An LLM Agent for Solving Open Mathematical Problems","created":"2026-07-10","cited_by_count":7},{"id":"2606.18119","title":"First Proof Second Batch","created":"2026-06-16","cited_by_count":6},{"id":"2603.22167","title":"Calibeating Made Simple","created":"2026-03-23","cited_by_count":5},{"id":"2606.25363","title":"TheoremGraph: Bridging Formal and Informal Mathematics","created":"2026-06-24","cited_by_count":5},{"id":"2605.20531","title":"Pseudo-Formalization for Automatic Proof Verification","created":"2026-05-19","cited_by_count":4},{"id":"2606.26525","title":"Theory-Scale Auto-Formalization of Logics for Computer Science","created":"2026-06-25","cited_by_count":4},{"id":"2606.31134","title":"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics","created":"2026-06-30","cited_by_count":4},{"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},{"id":"2604.16989","title":"Bolzano: Case Studies in LLM-Assisted Mathematical Research","created":"2026-04-18","cited_by_count":3},{"id":"2605.30333","title":"COMPOSE: Composing Future Theorems from Citations and Formal Structure","created":"2026-05-28","cited_by_count":3},{"id":"2606.18557","title":"DeFAb: A Verifiable Benchmark for Defeasible Abduction in Foundation Models","created":"2026-06-17","cited_by_count":3},{"id":"2608.09538","title":"TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability","created":"2026-08-10","cited_by_count":3},{"id":"2607.09217","title":"OpenProver: Agentic and Interactive Theorem Proving with Lean 4","created":"2026-07-10","cited_by_count":2},{"id":"2608.13060","title":"VALG: An Agentic System for ML Theory Research","created":"2026-08-13","cited_by_count":2},{"id":"2608.20153","title":"FormalTCS: Benchmarking End-to-End Frontier Formal Theoretical Computer Science Research of Large Language Models","created":"2026-08-20","cited_by_count":2},{"id":"2602.13587","title":"A First Proof Sprint","created":"2026-02-14","cited_by_count":1},{"id":"2605.19338","title":"STAR-P\\'olyaMath: Multi-Agent Reasoning under Persistent Meta-Strategic Supervision","created":"2026-05-19","cited_by_count":1}],"next_cursor":null}