VALG: An Agentic System for ML Theory Research
VALG, an agentic system that combines multi-level Verification, Adaptive formulation of Learning-theory problems, and Graph-structured proof development, is developed, an agentic system that combines multi-level Verification, adaptive formulation of Learning-theory problems, and Graph-structured proof development.
Dechen Zhang, Xuan Tang, Xinxiang Yin et al.
· 1 citation