{"total":15,"rows":[{"id":"2603.03329","title":"AutoHarness: improving LLM agents by automatically synthesizing a code harness","created":"2026-02-10","cited_by_count":76,"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":"2509.24855","title":"PhysicsMinions: Winning Gold Medals in the Latest Physics Olympiads with a Coevolutionary Multimodal Multi-Agent System","created":"2025-09-29","cited_by_count":7,"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":"2508.09889","title":"Profile-Aware Maneuvering: A Dynamic Multi-Agent System for Robust GAIA Problem Solving by AWorld","created":"2025-08-13","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":"2603.15914","title":"The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning","created":"2026-03-16","cited_by_count":4,"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":"2605.23772","title":"Agentic Proving for Program Verification","created":"2026-05-22","cited_by_count":3,"area":"agents"},{"id":"2603.03202","title":"Code2Math: Can Your Code Agent Effectively Evolve Math Problems Through Exploration?","created":"2026-03-03","cited_by_count":2,"area":"agents"},{"id":"2606.31182","title":"AI-Assisted Discovery of Convex Relaxations via Dual Agents","created":"2026-06-30","cited_by_count":2,"area":"agents"},{"id":"2509.12251","title":"V-Math: An Agentic Approach to the Vietnamese National High School Graduation Mathematics Exams","created":"2025-09-12","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":"2607.27497","title":"SkillSmith: Learning to Compose Parametric Skills and Textual Knowledge","created":"2026-07-29","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}