TY - RPRT TI - Training Under Challenge: Executable Certificates and Challenge-Closed Optimality for Neural Networks AU - Farhang Yeganegi AU - Arian Eamaz AU - Mojtaba Soltanalian PY - 2026 UR - https://arxiv.org/abs/2608.12655 ID - 2608.12655 ER -