Training Under Challenge: Executable Certificates and Challenge-Closed Optimality for Neural Networks
Mirrored from arXiv — Machine Learning for archival readability. Support the source by reading on the original site.
Computer Science > Machine Learning
Title:Training Under Challenge: Executable Certificates and Challenge-Closed Optimality for Neural Networks
Abstract:A flat training curve does not reveal whether a neural network has reached a global optimum, is locally trapped, is representation-limited, or is mismatched to its trainer. We introduce Training Under Challenge, an executable-certificate framework in which predeclared, architecture-valid procedures construct complete alternatives in the same certified class and reevaluate the same objective. Any lower-valued candidate is a replayable witness that lower-bounds the checkpoint's empirical global-optimality gap. Passing a finite suite is only suite-relative; global-gap conclusions require a separately justified coverage mechanism. We define a resource-indexed challenge-power modulus that characterizes the largest gap compatible with passage. For squared loss, current block-decrease operators make coverage checkable and yield uniform and realized-residual bounds. We prove 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. On a channel-gated ResNet-18 distillation problem with known optimum, eight internal challenges cover all 240 audited output directions, and realized-residual bounds lie within factors of 1.74--3.02 of the true gap. Paired predictive certificates separate decoder under-use from representation insufficiency, while quantized-denoising studies demonstrate diagnosis, repair, and current-state recertification.
| Comments: | 82 pages, 24 figures, 10 tables. Ancillary reproducibility materials included |
| Subjects: | Machine Learning (cs.LG); Machine Learning (stat.ML) |
| Cite as: | arXiv:2608.12655 [cs.LG] |
| (or arXiv:2608.12655v1 [cs.LG] for this version) | |
| https://doi.org/10.48550/arXiv.2608.12655
arXiv-issued DOI via DataCite (pending registration)
|
Submission history
From: Mojtaba Soltanalian [view email][v1] Wed, 12 Aug 2026 23:37:57 UTC (7,591 KB)
Access Paper:
- View PDF
- HTML (experimental)
- TeX Source
Ancillary files (details):
- README.txt
- SHA256SUMS.txt
- architecture_generality/run_exact_residual_output_challenge.py
- architecture_generality/run_rank_deficient_controls.py
- architecture_generality/run_theorem_regression.py
- architecture_generality/theorem_regression.json
- challenge_power/challenge_power_regression.py
- challenge_power/data/Aall.npy
- challenge_power/data/eigenvalues.npy
- challenge_power/data/ratios_max.npy
- challenge_power/data/ratios_sum.npy
- challenge_power/regression_summary.json
- current_state_certificate/current_state_spectral_certificate.py
- current_state_certificate/results/checkpoint_certificate.csv
- current_state_certificate/results/designed.npy
- current_state_certificate/results/designed_weights.npy
- current_state_certificate/results/native.npy
- current_state_certificate/results/native_weights.npy
- current_state_certificate/results/summary.json
- current_state_certificate/results/support_study.json
- information_sufficiency/environment.txt
- information_sufficiency/neural_representation_audit.py
- information_sufficiency/requirements.txt
- information_sufficiency/results/neural_representation_audit.csv
- information_sufficiency/results/neural_representation_audit_metadata.json
- information_sufficiency/results/neural_representation_audit_stdout.txt
- information_sufficiency/results/theorem_regression_results.json
- information_sufficiency/results/theorem_regression_stdout.txt
- information_sufficiency/theorem_regression.py
- null_rarity/core_part2.json
- null_rarity/make_figures.py
- qnn/code/analyze_repair_staircase_core.py
- qnn/code/coverage/make_adapter_coverage_figure.py
- qnn/code/coverage/make_statistical_coverage_figure.py
- qnn/code/coverage/run_adapter_coverage_expansion.py
- qnn/code/coverage/run_relu_primal_dual_certificate.py
- qnn/code/coverage/run_relu_primal_dual_certificate_exact_history.py
- qnn/code/coverage/run_statistical_coverage_calibration.py
- qnn/code/coverage/test_coverage_certificates.py
- qnn/code/make_exact_head_followup_figures.py
- qnn/code/make_qnn_case_figures.py
- qnn/code/make_same_checkpoint_control_figure.py
- qnn/code/run_data_maturity_theorem_regression.py
- qnn/code/run_holistic_proof_regression.py
- qnn/code/run_staircase_experiments.py
- qnn/code/run_targeted_regression.py
- qnn/results/attainability/exact_staircase_levels.csv
- qnn/results/attainability/positive_head_lr_stairs.csv
- qnn/results/attainability/staircase_global_tracking.csv
- qnn/results/attainability/staircase_results_baseline.json
- qnn/results/coverage/adapter_expansion/adapter_expansion_summary.json
- qnn/results/coverage/adapter_expansion/digits_frozen_cnn_adapter.csv
- qnn/results/coverage/adapter_expansion/synthetic_adapter_coverage.csv
- qnn/results/coverage/adapter_expansion/synthetic_adapter_coverage_progress.csv
- qnn/results/coverage/corrected_exact_history/X.npy
- qnn/results/coverage/corrected_exact_history/atom_directions.npy
- qnn/results/coverage/corrected_exact_history/atomic_coefficients.npy
- qnn/results/coverage/corrected_exact_history/hidden_weights.npy
- qnn/results/coverage/corrected_exact_history/output_weights.npy
- qnn/results/coverage/corrected_exact_history/relu_certificate_history.csv
- qnn/results/coverage/corrected_exact_history/relu_certificate_summary.json
- qnn/results/coverage/corrected_exact_history/residual.npy
- qnn/results/coverage/corrected_exact_history/y.npy
- qnn/results/coverage/coverage_certificate_regression.json
- qnn/results/coverage/statistical_coverage_summary.json
- qnn/results/coverage/statistical_results/statistical_calibration_repetitions.csv
- qnn/results/coverage/statistical_results/statistical_coverage_summary.json
- qnn/results/coverage/statistical_results/statistical_development_cutoff_selection.csv
- qnn/results/coverage/statistical_results/statistical_sample_complexity.csv
- qnn/results/coverage/statistical_results/statistical_selection_reuse.csv
- qnn/results/exact_head/compact_export_inventory.csv
- qnn/results/exact_head/compact_export_inventory.json
- qnn/results/exact_head/dataset_manifest_paper.json
- qnn/results/exact_head/environment_paper.json
- qnn/results/exact_head/exact_head_baselines_summary_paper.csv
- qnn/results/exact_head/exact_head_group_summary.csv
- qnn/results/exact_head/exact_head_paired_effects.csv
- qnn/results/exact_head/exact_head_replay_paper.csv
- qnn/results/exact_head/exact_head_threshold_summary.csv
- qnn/results/exact_head/exact_head_threshold_sweep_paper.csv
- qnn/results/repair/closure_trajectories.csv
- qnn/results/repair/repair_staircase_core_validated_summary.csv
- qnn/results/repair/repair_staircase_core_validation.json
- qnn/results/repair/summary.csv
- qnn/results/repair/tracking_trajectories.csv
- qnn/results/same_checkpoint/same_checkpoint_validated_summary.csv
- qnn/results/summary.json
- resnet_certificate/ResNet_Current_State_Certificate_Colab.ipynb
- resnet_certificate/VALIDATION.json
- resnet_certificate/audit_implementation.json
- resnet_certificate/config.json
- resnet_certificate/derived_residual_aligned_certificate_metrics.csv
- resnet_certificate/environment.json
- resnet_certificate/results/Qmix.npy
- resnet_certificate/results/block_records_epoch_0.csv
- resnet_certificate/results/block_records_epoch_0_pre_eopt.csv
- resnet_certificate/results/block_records_epoch_10.csv
- resnet_certificate/results/block_records_epoch_10_pre_eopt.csv
- resnet_certificate/results/block_records_epoch_20.csv
- resnet_certificate/results/block_records_epoch_20_pre_eopt.csv
- resnet_certificate/results/block_records_epoch_40.csv
- resnet_certificate/results/block_records_epoch_40_pre_eopt.csv
- resnet_certificate/results/block_records_epoch_5.csv
- resnet_certificate/results/block_records_epoch_5_pre_eopt.csv
- resnet_certificate/results/certificate_epoch_0.json
- resnet_certificate/results/certificate_epoch_10.json
- resnet_certificate/results/certificate_epoch_20.json
- resnet_certificate/results/certificate_epoch_40.json
- resnet_certificate/results/certificate_epoch_5.json
- resnet_certificate/results/certificate_summary.csv
- resnet_certificate/results/e.npy
- resnet_certificate/results/eigenvalues.npy
- resnet_certificate/results/fixed_certification_problem/byteorder
- resnet_certificate/results/fixed_certification_problem/data.pkl
- resnet_certificate/results/fixed_certification_problem/data/0
- resnet_certificate/results/fixed_certification_problem/data/1
- resnet_certificate/results/fixed_certification_problem/data/2
- resnet_certificate/results/fixed_certification_problem/version
- resnet_certificate/results/pi.npy
- resnet_certificate/results/student_history.json
- spectral_coverage/data/challenge_basis_masks.csv
- spectral_coverage/data/challenge_basis_scaling.csv
- spectral_coverage/data/digits_tanh_mlp_checkpoints.csv
- spectral_coverage/data/relu_stable_core_blocks.csv
- spectral_coverage/data/relu_width_scaling.csv
- spectral_coverage/data/relu_width_scaling_summary.csv
- spectral_coverage/data/results_summary.json
- spectral_coverage/data/tanh_block_regression.csv
- spectral_coverage/environment.txt
- spectral_coverage/requirements.txt
- spectral_coverage/run_regressions.py
Current browse context:
References & Citations
Bibliographic and Citation Tools
Code, Data and Media Associated with this Article
Demos
Recommenders and Search Tools
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
More from arXiv — Machine Learning
-
LoKiFormer: Locality-aware Attention with Decoupled Knowledge Memory for Efficient Large Language Model Pretraining
Aug 14
-
Which Site, and When: A Free-Satellite-Data Test of Himalayan Glacial Lake Bursts, Landslides, and Ice Floods
Aug 14
-
MARCH: Scaling Recurrent Memory with Content-Routed State Anchors
Aug 14
-
Multi-AUV Ad-hoc network-based Target Tracking: A Value Gradient Guidance Multi-Agent Diffusion Reinforcement Learning Approach
Aug 14
Discussion (0)
Sign in to join the discussion. Free account, 30 seconds — email code or GitHub.
Sign in →No comments yet. Sign in and be the first to say something.