Removing spurious minima for planar features by skip connections

arXiv:2610.01728 · cs.LG, cs.AI, math.OC · Submitted 2026-10-01 · Read on arXiv

cs.LG, cs.AI, math.OC

Submitted: 2026-10-01

Updated: 2026-10-03

Comments: 43 pages, 4 figures. Under review. Accompanying Lean 4 formalization available at https://github.com/JayPiZimmermann/Removing-spurious-minima-for-planar-features-by-skip-connections

Code: https://github.com/JayPiZimmermann/Removing-spurious-minima-for-planar-features-by-skip-connections

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Sources

Related papers