{"id":"arxiv/2610.34590","url":"https://arxiv.org/abs/2610.34590","tags":["cs.LG","math.OC"],"score":0,"title":"Sparse Sum-of-Squares Layers for Certified Learning","domain":"cs.LG","source":"arxiv","authors":["Ege Gursoy","Nicolas Mansard"],"reviews":0,"subject":"cs.LG","summary":"A central limitation of modern machine learning systems is the lack of formal certificates guaranteeing their behavior beyond empirical, sample-based evaluation. Sum-of-squares (SOS) methods provide such guarantees by certifying polynomial inequalities over continuous domains via semidefinite programming (SDP). While prior work has introduced SDP layers as differentiable components in neural networks, repeated learning calls can lose the computational benefit of the forward program's sparse representation. We propose Sparse SOS Layers, differentiable value layers whose backward passes reuse…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-25","reactions":{}}