{"total":20,"rows":[{"id":"2509.21240","title":"Tree Search for LLM Agent Reinforcement Learning","created":"2025-09-25","cited_by_count":79,"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":"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":"2606.11119","title":"TRACE: A Unified Rollout Budget Allocation Framework for Efficient Agentic Reinforcement Learning","created":"2026-06-09","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":"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":"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":"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":"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":"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":"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"}],"next_cursor":null}