Arian Eamaz

Training Under Challenge: Executable Certificates and Challenge-Closed Optimality for Neural Networks

This work defines a resource-indexed challenge-power modulus that characterizes the largest gap compatible with passage, and proves the converse frontier: without coverage, a first-order ReLU trainer can reach infinitely many exact conditional head optima while converging to a non-global point.