Iteris: Agentic Research Loops for Computational Mathematics
School of Mathematical Sciences, Peking University（北京大学数学科学学院）；Beijing International Center for Mathematical Research and the New Cornerstone Science Laboratory, Peking University（北京大学北京国际数学研究中心和新基石科学实验室）；Center for Machine Learning Research, Peking University（北京大学机器学习研究中心）；Center for Intelligent Computing, Great Bay Institute for Advanced Study, Great Bay University（大湾研究院先进研究所智能计算中心）；Zhongguancun Academy（中关村学院）
Recent advances in large language models and agentic AI systems have enabled significant progress in mathematical discovery, from solving competition problems to tackling research-level conjectures. However, open problems in computational mathematics have received comparatively less attention: research in this area often requires not only proofs but also numerical experimentation, adversarial constructions, and algorithm design. In this paper, we introduce an agentic research system, Iteris, designed for open problems in computational mathematics. We apply Iteris to two open problems from a recent Simons Workshop collection (arXiv:2602.05394). In these case studies, Iteris generated numerical evidence, constructions, and proof drafts that led, after expert review and correction, to verified results. The first result is a phase diagram for the asymptotic comparison between conjugate gradient and randomized coordinate descent on power-law spectra; the second is a counterexample showing that QR factorization with column pivoting can fail to select well-conditioned submatrices even under low coherence. These case studies suggest that agentic AI systems can participate meaningfully in research workflows for open problems in computational mathematics, while human validation remains essential.
The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning
Department for AI in Society, Science, and Technology（人工智能与社会、科学和技术部门）；Zuse Institute Berlin（柏林Zuse研究所）；Institute of Mathematics（数学研究所）；Technische Universität Berlin（柏林技术大学）
RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows
Pennsylvania State University（宾夕法尼亚州立大学）；City University of New York（纽约市立大学）；New York University（纽约大学）；Amirkabir University of Technology（阿米尔卡比尔理工大学）；Autodesk（欧特克公司）；Carnegie Mellon University（卡内基梅隆大学）
V-Math: An Agentic Approach to the Vietnamese National High School Graduation Mathematics Exams
CIRTech Institute, HUTECH University, Ho Chi Minh City, Viet Nam（CIRTech研究院，HUTECH大学，胡志明市，越南）；Faculty of Information Technology, HUTECH University, Ho Chi Minh City, Vietnam（信息科技学院，HUTECH大学，胡志明市，越南）；Nguyen Thai Hoc High School, Gia Lai Province, Vietnam（Nguyen Thai Hoc高中，嘉莱省，越南）；Office of Scientific Research, Technology Management and International Cooperation, Tien Giang University, Vietnam（科研办公室，技术管理与国际合作办公室，Tien Giang大学，越南）
本文提出自主智能体框架 V-Math，集成问题生成、求解解释与个性化导师三个 AI 智能体，支持越南高中生备考及教师辅助出题，初步评估显示其能高准确率生成合规考题并提供连贯解释。
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
Academy of Mathematics and Systems Science, University of Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；Tongji University（同济大学）；University of Cambridge（剑桥大学）；Imperial College London（伦敦帝国学院）；University of Edinburgh（爱丁堡大学）；University of Liverpool（利物浦大学）；Xi'an Jiaotong-Liverpool University（西安交通大学利物浦大学）
AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness
Georgia Institute of Technology（佐治亚理工学院）；University of Pennsylvania（宾夕法尼亚大学）；Foothill College（山麓学院）；Rutgers University（罗格斯大学）；Simon Fraser University（西蒙弗雷泽大学）；University of Texas at Austin（德克萨斯大学奥斯汀分校）
A Formal Framework for Declarative Agentic AI in Business Process Analysis
University of Trento（特伦托大学）；Istituto di Analisi dei Sistemi ed Informatica (IASI) “Antonio Ruberti”, National Research Council (CNR)（国家研究委员会（CNR）安东尼奥·鲁贝蒂系统分析与信息学研究所（IASI））
Formal Foundations of Agentic Business Process Management
University of Oxford, UK（牛津大学，英国）；SAP, Germany（德国SAP公司）；Umeå University, Sweden（乌梅拉大学，瑞典）；University of Mannheim, Germany（曼海姆大学，德国）；Free University of Bozen-Bolzano, Italy（博兹纳自由大学，意大利）
EvoTrainer: Co-Evolving LLM Policies and Training Harnesses for Autonomous Agentic Reinforcement Learning
Shenzhen Institutes of Advanced Technology, Chinese Academy of Sciences（深圳先进技术研究院，中国科学院）；Tongyi Lab , Alibaba Group（通义实验室，阿里巴巴集团）；Alibaba Group（阿里巴巴集团）；SUAT（深圳大学）
A Closer Look at Agentic BBO: Benchmarking LLM Agents for Black-Box Optimization
State Key Laboratory of Novel Software Technology, Nanjing University（南京大学现代软件工程国家重点实验室）；School of Artificial Intelligence, Nanjing University（南京大学人工智能学院）
GlyphBanana: Advancing Precise Text Rendering Through Agentic Workflows
Shanghai Jiao Tong University（上海交通大学）；Xiaohongshu Inc.（小红书公司）；Hong Kong University of Science and Technology（香港科技大学）；Southeast University（东南大学）；South China University of Technology（华南理工大学）
An Agentic AI Framework with Large Language Models and Chain-of-Thought for UAV-Assisted Logistics Scheduling with Mobile Edge Computing
Nanyang Technological University（南洋理工大学）；Singapore Institute of Technology（新加坡理工学院）；Seatrium New Energy Laboratory（Seatrium 新能源实验室）；Ministry of Education (MOE) Tier 1（教育部 Tier 1）；Research Innovation and Enterprise (RIE) 2025 Industry Alignment Fund-Industry Collaboration Projects (IAF-ICP)（研究创新与企业 (RIE) 2025 行业对齐基金-行业合作项目 (IAF-ICP)）
DenoiseFlow: Uncertainty-Aware Denoising for Reliable LLM Agentic Workflows
School of Computer Science, Peking University（北京大学计算机科学学院）；School of Electronics Engineering and Computer Science, Peking University（北京大学电子工程与计算机科学学院）；SKLCCSE, School of Computer Science and Engineering, Beihang University（北航计算机科学与工程学院）；Tsinghua University（清华大学）；University of Electronic Science and Technology of China（电子科技大学）；Key Laboratory of High Confidence Software Technologies(PKU), MOE（北京大学高可信软件技术重点实验室）；Institute of Software, Chinese Academy of Sciences（中国科学院软件研究所）；National Engineering Research Center for Software Engineering, Peking University（软件工程国家工程研究中心）
IneqAgent: Agentic Inequality Proving in Lean with Symbolic Computation
School of Software Engineering, East China Normal University（华东师范大学软件工程学院）；School of Computer and Information Science, Southwest University（西南大学计算机与信息科学学院）
TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow
Gaoling School of Artificial Intelligence, Renmin University of China（中国人民大学全球化人工智能学院）；Beijing Key Laboratory of Research on Large Models（北京大模型研究关键实验室）；Engineering Research Center of Next-Generation Intelligent Search（下一代智能搜索与推荐工程研究中心）
EvoPINN: Agentic Discovery of Executable Algorithms for Physics-Informed Neural Networks
School of Advanced Interdisciplinary Sciences, University of Chinese Academy of Sciences（中国科学院大学先进交叉科学学院）；Institute of Automation, Chinese Academy of Sciences（中国科学院自动化研究所）
APOD: reasoning-guided agentic population ordinary differential equation discovery for pharmacological digital twins
University Côte d’Azur（蔚蓝海岸大学）；Cancer Research Center of Marseille（马赛癌症研究中心）；Institut Paoli-Calmettes（保利-卡尔梅特研究所）；Mines Paris（巴黎矿业学院）；PSL University（巴黎文理研究大学）；Université Paris-Saclay（巴黎萨克雷大学）；CNRS（法国国家科学研究中心）；Institut Galien Paris-Saclay（巴黎萨克雷加利安研究所）；University of Cambridge（剑桥大学）
