{"total":19,"rows":[{"id":"2304.08354","title":"Tool Learning with Foundation Models","created":"2023-04-17","cited_by_count":302,"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":"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":"2410.04753","title":"ImProver: Agent-Based Automated Proof Optimization","created":"2024-10-07","cited_by_count":10,"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":"2605.22875","title":"RMA: an Agentic System for Research-Level Mathematical Problems","created":"2026-05-20","cited_by_count":7,"area":"agents"},{"id":"2511.17330","title":"Agentic Verification of Software Systems","created":"2025-11-21","cited_by_count":6,"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":"2607.06341","title":"Harnessing Code Agents for Automatic Software Verification","created":"2026-07-07","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.27485","title":"Automating Formal Verification with Agent-Guided Tree Search","created":"2026-05-26","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.17331","title":"Do Theorem Provers Need Theorem-Proving Agents? mini-Lean-agent: A Coding-Agent Baseline for Lean","created":"2026-10-12","cited_by_count":0,"area":"agents"}],"next_cursor":null}