{"total":16,"rows":[{"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":"2602.24273","title":"A Minimal Agent for Automated Theorem Proving","created":"2026-02-27","cited_by_count":18,"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":"2605.22875","title":"RMA: an Agentic System for Research-Level Mathematical Problems","created":"2026-05-20","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":"2604.16989","title":"Bolzano: Case Studies in LLM-Assisted Mathematical Research","created":"2026-04-18","cited_by_count":3,"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":"2603.24465","title":"MechMath: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving","created":"2026-03-25","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":"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":"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.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.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"}],"next_cursor":null}