{"total":18,"rows":[{"id":"2605.06651","title":"AI co-mathematician: Accelerating mathematicians with agentic AI","created":"2026-05-07","cited_by_count":17,"area":"agents"},{"id":"2602.16554","title":"MerLean: An Agentic Framework for Autoformalization in Quantum Computation","created":"2026-02-18","cited_by_count":10,"area":"agents"},{"id":"2606.06468","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","created":"2026-06-04","cited_by_count":9,"area":"agents"},{"id":"2607.04394","title":"MechMath Agent Team: LLM Driven Agents for Mathematical Research","created":"2026-07-05","cited_by_count":5,"area":"agents"},{"id":"2605.23772","title":"Agentic Proving for Program Verification","created":"2026-05-22","cited_by_count":3,"area":"agents"},{"id":"2605.26457","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","created":"2026-05-26","cited_by_count":3,"area":"agents"},{"id":"2606.04883","title":"Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean","created":"2026-06-03","cited_by_count":3,"area":"agents"},{"id":"2608.13060","title":"VALG: An Agentic System for ML Theory Research","created":"2026-08-13","cited_by_count":2,"area":"agents"},{"id":"2603.24465","title":"MechMath: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving","created":"2026-03-25","cited_by_count":1,"area":"agents"},{"id":"2607.16372","title":"AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language","created":"2026-07-17","cited_by_count":1,"area":"agents"},{"id":"2604.08388","title":"Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover","created":"2026-04-09","cited_by_count":0,"area":"agents"},{"id":"2605.27485","title":"Automating Formal Verification with Agent-Guided Tree Search","created":"2026-05-26","cited_by_count":0,"area":"agents"},{"id":"2608.02295","title":"MechGeo: Autoformalizing and Proving Euclidean Geometry in Lean 4","created":"2026-08-03","cited_by_count":0,"area":"agents"},{"id":"2610.00885","title":"FORALL-LEAN-AGENT for Auditable Reasoning in Formal Mathematics and Software Verification","created":"2026-10-01","cited_by_count":0,"area":"agents"},{"id":"2610.05367","title":"AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness","created":"2026-10-04","cited_by_count":0,"area":"agents"},{"id":"2610.09681","title":"Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification","created":"2026-10-07","cited_by_count":0,"area":"agents"},{"id":"2610.13632","title":"Humanize Olympiad Agents: A Multi-Session Workflow for Olympiad Problem Solving with Solve, Review, Wiki, Verify","created":"2026-10-09","cited_by_count":0,"area":"agents"},{"id":"2610.17331","title":"Do Theorem Provers Need Theorem-Proving Agents? mini-Lean-agent: A Coding-Agent Baseline for Lean","created":"2026-10-12","cited_by_count":0,"area":"agents"}],"next_cursor":null}