כתבה
arXiv cs.AI ·
VALG: מערכת אגנטית לחקר תאוריות ML
VALG: An Agentic System for ML Theory Research
VALG היא מערכת אגנטית שמאפשרת חקר תאוריות ML באופן עצמאי. היא משתמשת בשיטות חיפוש ופיתוח ראיות כדי לפתור בעיות פתוחות בתאוריות ML. VALG פותחה על ידי צוות מדעניות ומדעני חוקרים באוניברסיטת Stanford.
תקציר מקורי באנגליתarXiv:2608.13060v2 Announce Type: replace Abstract: 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 research. We develop VALG, an agentic system that combines multi-level Verification, Adaptive formulation of Learning-theory problems, and Graph-struc
קרא במקור המקורי
arxiv.org
פתח כתבה מקורית