{"id":"arxiv/2608.13060","url":"https://arxiv.org/abs/2608.13060","tags":["cs.AI","cs.LG","math.OC","stat.ML"],"score":0,"title":"VALG: An Agentic System for ML Theory Research","domain":"cs.AI","source":"arxiv","authors":["Dechen Zhang","Xuan Tang","Xinxiang Yin","Xingwu Chen","Jian Qian","Difan Zou"],"reviews":0,"subject":"cs.AI","summary":"Machine learning theory studies learning procedures through mathematical setups in which the data model, training protocol, oracle access, loss, metric, and randomness define the phenomenon that a theorem is meant to explain. Solving an open problem therefore requires the problem formulation, theorem target, and proof mechanism to be developed in concert. Researchers formulate hypotheses, test them through preliminary theoretical or empirical analysis, and refine both assumptions and proofs. We investigate whether this process can be organized as an autonomous agentic workflow for ML theory…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-13","reactions":{}}