{"total":47,"rows":[{"id":"2309.07864","title":"The Rise and Potential of Large Language Model Based Agents: A Survey","created":"2023-09-14","cited_by_count":1439,"area":"agents"},{"id":"2506.13131","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","created":"2025-06-16","cited_by_count":867,"area":"agents"},{"id":"2309.10691","title":"MINT: Evaluating LLMs in Multi-turn Interaction with Tools and Language Feedback","created":"2023-09-19","cited_by_count":297,"area":"agents"},{"id":"2402.19446","title":"ArCHer: Training Language Model Agents via Hierarchical Multi-Turn RL","created":"2024-02-29","cited_by_count":228,"area":"agents"},{"id":"2401.03428","title":"Exploring Large Language Model based Intelligent Agents: Definitions, Methods, and Prospects","created":"2024-01-07","cited_by_count":132,"area":"agents"},{"id":"2410.13185","title":"Chain of Ideas: Revolutionizing Research Via Novel Idea Development with LLM Agents","created":"2024-10-17","cited_by_count":97,"area":"agents"},{"id":"2310.04353","title":"An In-Context Learning Agent for Formal Theorem-Proving","created":"2023-10-06","cited_by_count":82,"area":"agents"},{"id":"2506.19923","title":"Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs","created":"2025-06-24","cited_by_count":31,"area":"agents"},{"id":"2602.24273","title":"A Minimal Agent for Automated Theorem Proving","created":"2026-02-27","cited_by_count":18,"area":"agents"},{"id":"2307.02502","title":"Math Agents: Computational Infrastructure, Mathematical Embedding, and Genomics","created":"2023-07-04","cited_by_count":15,"area":"agents"},{"id":"2410.04753","title":"ImProver: Agent-Based Automated Proof Optimization","created":"2024-10-07","cited_by_count":10,"area":"agents"},{"id":"2608.05179","title":"Autonomous Research Agents: A Survey of AI Scientists and the Verification Gap","created":"2026-06-29","cited_by_count":9,"area":"agents"},{"id":"2602.02990","title":"Learning to Repair Lean Proofs from Compiler Feedback","created":"2026-02-03","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":"2605.22875","title":"RMA: an Agentic System for Research-Level Mathematical Problems","created":"2026-05-20","cited_by_count":7,"area":"agents"},{"id":"2510.08988","title":"MASA: LLM-Driven Multi-Agent Systems for Autoformalization","created":"2025-10-10","cited_by_count":6,"area":"agents"},{"id":"2511.17330","title":"Agentic Verification of Software Systems","created":"2025-11-21","cited_by_count":6,"area":"agents"},{"id":"2505.22846","title":"RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation","created":"2025-05-28","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":"2509.23675","title":"PAT-Agent: Autoformalization for Model Checking","created":"2025-09-28","cited_by_count":3,"area":"agents"},{"id":"2605.17475","title":"Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair","created":"2026-05-17","cited_by_count":3,"area":"agents"},{"id":"2607.20503","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","created":"2026-06-26","cited_by_count":3,"area":"agents"},{"id":"2605.08670","title":"MIND-Skill: Quality-Guaranteed Skill Generation via Multi-Agent Induction and Deduction","created":"2026-05-09","cited_by_count":2,"area":"agents"},{"id":"2605.28003","title":"ResearchMath-14K: Scaling Research-Level Mathematics via Agents","created":"2026-05-27","cited_by_count":2,"area":"agents"},{"id":"2606.09674","title":"(Auto)formalization is supposed to be easy: Trellis process semantics for spelling out rigorous proofs","created":"2026-06-08","cited_by_count":2,"area":"agents"},{"id":"2607.03656","title":"AutoCedar: An Agentic Framework for Verifier-Guided Access Control Policy Synthesis","created":"2026-07-04","cited_by_count":2,"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":"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":"2605.15132","title":"APWA: A Distributed Architecture for Parallelizable Agentic Workflows","created":"2026-05-14","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.29894","title":"SABER-Math: Automated Benchmark for Information Retrieval Evaluation in Mathematics","created":"2026-06-29","cited_by_count":1,"area":"agents"},{"id":"2607.06341","title":"Harnessing Code Agents for Automatic Software Verification","created":"2026-07-07","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":"2607.22511","title":"CausalSmith: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference","created":"2026-07-24","cited_by_count":1,"area":"agents"},{"id":"2407.14521","title":"Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent","created":"2024-07-05","cited_by_count":0,"area":"agents"},{"id":"2602.10512","title":"Exponential Sample Complexity Separation between Flat and Hierarchical Agentic Theorem Provers","created":"2026-02-11","cited_by_count":0,"area":"agents"},{"id":"2605.01394","title":"LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation","created":"2026-05-02","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.30803","title":"Schwarz: Solver-Aware Agentic Program Verification","created":"2026-08-31","cited_by_count":0,"area":"agents"},{"id":"2609.39022","title":"From Verification Failures to Reusable Guidance for Coding Agents","created":"2026-09-30","cited_by_count":0,"area":"agents"},{"id":"2609.40324","title":"Cogentic: Multi-Agent Orchestration for Automated Proof Discovery","created":"2026-09-30","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.04829","title":"Viva La Vida: Verification and Accumulation Failures in Multi-Agent Proof Search","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.20573","title":"Beyond LLM Judge: Mechanical Verification for Agentic Autoformalization","created":"2026-10-14","cited_by_count":0,"area":"agents"}],"next_cursor":null}