{"total":29,"rows":[{"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":"2412.06512","title":"The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap","created":"2024-12-09","cited_by_count":20,"area":"agents"},{"id":"2602.24273","title":"A Minimal Agent for Automated Theorem Proving","created":"2026-02-27","cited_by_count":18,"area":"agents"},{"id":"2410.04753","title":"ImProver: Agent-Based Automated Proof Optimization","created":"2024-10-07","cited_by_count":10,"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":"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":"2412.08805","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","created":"2024-12-11","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":"2607.04394","title":"MechMath Agent Team: LLM Driven Agents for Mathematical Research","created":"2026-07-05","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":"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":"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":"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.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":"2607.09072","title":"Agentic Proof and Property-Based Testing via Property-Templates in Data-Intensive Computing","created":"2026-07-10","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.40324","title":"Cogentic: Multi-Agent Orchestration for Automated Proof Discovery","created":"2026-09-30","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}