{"total":26,"rows":[{"id":"2605.00674","title":"Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs","created":"2026-05-01","cited_by_count":137,"area":null},{"id":"2602.24173","title":"LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics","created":"2026-02-27","cited_by_count":10,"area":null},{"id":"2605.13137","title":"LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving","created":"2026-05-13","cited_by_count":10,"area":null},{"id":"2605.13171","title":"Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics","created":"2026-05-13","cited_by_count":10,"area":null},{"id":"2605.29955","title":"Formalizing Mathematics at Scale","created":"2026-05-28","cited_by_count":10,"area":null},{"id":"2603.15929","title":"Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium","created":"2026-03-16","cited_by_count":9,"area":null},{"id":"2602.05216","title":"Semantic Search over 9 Million Mathematical Theorems","created":"2026-02-05","cited_by_count":8,"area":null},{"id":"2604.03071","title":"Automatic Textbook Formalization","created":"2026-04-03","cited_by_count":8,"area":null},{"id":"2606.25363","title":"TheoremGraph: Bridging Formal and Informal Mathematics","created":"2026-06-24","cited_by_count":5,"area":null},{"id":"2604.06107","title":"Artificial Intelligence and the Structure of Mathematics","created":"2026-04-07","cited_by_count":4,"area":null},{"id":"2606.13925","title":"Sorries Are Not the Hard Part: An Expert-Review Case Study of a Semi-Autonomous Formalization","created":"2026-06-11","cited_by_count":4,"area":null},{"id":"2608.29270","title":"SHADOWBENCH: Toward Reliable Automatic Evaluation of Semantic Alignment in Autoformalization","created":"2026-08-29","cited_by_count":4,"area":null},{"id":"2604.04898","title":"QED-Nano: Teaching a Tiny Model to Prove Hard Theorems","created":"2026-04-06","cited_by_count":3,"area":null},{"id":"2606.03743","title":"Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts","created":"2026-06-02","cited_by_count":2,"area":null},{"id":"2606.13782","title":"MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis","created":"2026-06-11","cited_by_count":1,"area":null},{"id":"2606.20642","title":"Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory","created":"2026-06-03","cited_by_count":1,"area":null},{"id":"2607.07779","title":"From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier","created":"2026-07-08","cited_by_count":1,"area":null},{"id":"2607.14582","title":"MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research","created":"2026-07-16","cited_by_count":1,"area":null},{"id":"2608.25220","title":"FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving","created":"2026-08-25","cited_by_count":1,"area":null},{"id":"2604.11504","title":"Lectures on AI for Mathematics","created":"2026-04-13","cited_by_count":0,"area":null},{"id":"2607.25333","title":"Specula: Scaling formal specifications for autonomous model checking of system code","created":"2026-07-28","cited_by_count":0,"area":null},{"id":"2608.14669","title":"Beyond Correctness: Toward Automated Novelty Verification with Lean 4","created":"2026-08-02","cited_by_count":0,"area":null},{"id":"2609.35606","title":"TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2609.39228","title":"Fyan: A Human--AI Harness with Semantic Auditing for Document-Level Formalization","created":"2026-09-30","cited_by_count":0,"area":null},{"id":"2609.39544","title":"Growing an Agent/Prover Interface: Evolutionary Tool Design for Cost-Efficient Theorem Proving in Rocq and Lean","created":"2026-09-30","cited_by_count":0,"area":null},{"id":"2610.08329","title":"An AI-Assisted Formalization of the Poincar\\'e Conjecture","created":"2026-10-06","cited_by_count":0,"area":null}],"next_cursor":null}