{"total":44,"rows":[{"id":"2509.02547","title":"The Landscape of Agentic Reinforcement Learning for LLMs: A Survey","created":"2025-09-02","cited_by_count":205,"area":"agents"},{"id":"2510.16872","title":"DeepAnalyze: Agentic Large Language Models for Autonomous Data Science","created":"2025-10-19","cited_by_count":50,"area":"agents"},{"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,"area":"agents"},{"id":"2605.18747","title":"Code as Agent Harness","created":"2026-05-18","cited_by_count":47,"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":"2505.17716","title":"Get Experience from Practice: LLM Agents with Record & Replay","created":"2025-05-23","cited_by_count":23,"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":"2606.22995","title":"Group-Graph Policy Optimization for Long-Horizon Agentic Reinforcement Learning","created":"2026-06-22","cited_by_count":13,"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":"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":"2512.10534","title":"Achieving Olympiad-Level Geometry Large Language Model Agent via Complexity Boosting Reinforcement Learning","created":"2025-12-11","cited_by_count":7,"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":"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":"2506.20640","title":"CoMind: Towards Community-Driven Agents for Machine Learning Engineering","created":"2025-06-25","cited_by_count":5,"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":"2606.14000","title":"Formalizing Numerical Analysis: An Agent Pipeline and Quality Audit Beyond Kernel Acceptance","created":"2026-06-12","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.12011","title":"Can RL Improve Generalization of LLM Agents? An Empirical Study","created":"2026-03-12","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.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":"2602.03318","title":"MIRROR: A Multi-Agent Framework with Iterative Adaptive Revision and Hierarchical Retrieval for Optimization Modeling in Operations Research","created":"2026-02-03","cited_by_count":2,"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.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":"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":"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":"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.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.00326","title":"Learning to Coordinate Symbolic Tools: LLM Agents for Verified Sum-of-Squares Certificates","created":"2026-07-31","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":"2609.12039","title":"Reality Is the Final Verifier: On Two Key Gaps in Agentic Software Engineering","created":"2026-09-10","cited_by_count":0,"area":"agents"},{"id":"2609.16995","title":"PaperDoctor: Evidence-Grounded and Actionable Feedback for Scientific Papers in Progress","created":"2026-09-15","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.15258","title":"Sequent-Prover: Training Agents for Formal, Checkable SMT-based Reasoning","created":"2026-10-11","cited_by_count":0,"area":"agents"}],"next_cursor":null}