{"total":24,"rows":[{"id":"2506.13131","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","created":"2025-06-16","cited_by_count":867,"area":"agents"},{"id":"2403.17134","title":"RepairAgent: An Autonomous, LLM-Based Agent for Program Repair","created":"2024-03-25","cited_by_count":232,"area":"agents"},{"id":"2412.10133","title":"You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects","created":"2024-12-13","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":"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":"2507.21035","title":"GenoMAS: A Multi-Agent Framework for Scientific Discovery via Code-Driven Gene Expression Analysis","created":"2025-07-28","cited_by_count":8,"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":"2605.23772","title":"Agentic Proving for Program Verification","created":"2026-05-22","cited_by_count":3,"area":"agents"},{"id":"2603.22114","title":"Automated Lemma Discovery in Agentic Program Verification","created":"2026-03-23","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":"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":"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":"2605.27485","title":"Automating Formal Verification with Agent-Guided Tree Search","created":"2026-05-26","cited_by_count":0,"area":"agents"},{"id":"2608.29841","title":"SkillForge: Compositional Skill Synthesis with Verification-in-the-Loop for Generating Formally Verified Dafny Programs","created":"2026-08-30","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":"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.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.09681","title":"Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification","created":"2026-10-07","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}