{"total":34,"rows":[{"id":"2605.18747","title":"Code as Agent Harness","created":"2026-05-18","cited_by_count":47,"area":"agents"},{"id":"2512.16301","title":"Adaptation of Agentic AI: A Survey of Post-Training, Memory, and Skills","created":"2025-12-18","cited_by_count":22,"area":"agents"},{"id":"2510.04520","title":"Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph","created":"2025-10-06","cited_by_count":21,"area":"agents"},{"id":"2602.24273","title":"A Minimal Agent for Automated Theorem Proving","created":"2026-02-27","cited_by_count":18,"area":"agents"},{"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":"2603.21065","title":"LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning","created":"2026-03-22","cited_by_count":7,"area":"agents"},{"id":"2605.17283","title":"OProver: A Unified Framework for Agentic Formal Theorem Proving","created":"2026-05-17","cited_by_count":7,"area":"agents"},{"id":"2604.26311","title":"DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent","created":"2026-04-29","cited_by_count":5,"area":"agents"},{"id":"2510.09021","title":"RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows","created":"2025-10-10","cited_by_count":4,"area":"agents"},{"id":"2603.15914","title":"The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning","created":"2026-03-16","cited_by_count":4,"area":"agents"},{"id":"2605.06110","title":"On Time, Within Budget: Constraint-Driven Online Resource Allocation for Agentic Workflows","created":"2026-05-07","cited_by_count":3,"area":"agents"},{"id":"2605.23772","title":"Agentic Proving for Program Verification","created":"2026-05-22","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":"2607.07857","title":"Multi-agent Autoformalization of Tensor Network Theory","created":"2026-07-08","cited_by_count":2,"area":"agents"},{"id":"2608.05141","title":"OctoLong: Mid-Training On Cross-Repository Code Contexts Enhances Long-Context Modeling","created":"2026-08-05","cited_by_count":2,"area":"agents"},{"id":"2601.17332","title":"TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow","created":"2026-01-24","cited_by_count":1,"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":"2604.15839","title":"Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4","created":"2026-04-17","cited_by_count":1,"area":"agents"},{"id":"2605.20244","title":"Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search","created":"2026-05-18","cited_by_count":1,"area":"agents"},{"id":"2606.06523","title":"Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory","created":"2026-06-02","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":"2604.15713","title":"Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints","created":"2026-04-17","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":"2607.06820","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","created":"2026-07-07","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.01799","title":"SkillEvoLean: Mutation-enhanced skill evolution for Lean provers","created":"2026-10-01","cited_by_count":0,"area":"agents"},{"id":"2610.03796","title":"ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents","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.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}