Exact dimension-gap results and verification supplements for prescribed gradient-descent schedules
-
Updated
Aug 16, 2026 - TeX
Exact dimension-gap results and verification supplements for prescribed gradient-descent schedules
Exact verification of the five-variable Gaussian CI antecedent threshold a5 = 4.
GPU Tensor Iteration Solver for exact Matrix-Free high-order cube-state computation and verification.
Reproducibility code, authorities, and atlas for Partizan fixed-value representation research
Proof-carrying neural search and exact verification for finite combinatorial-game composition
Add a description, image, and links to the exact-verification topic page so that developers can more easily learn about it.
To associate your repository with the exact-verification topic, visit your repo's landing page and select "manage topics."