Showing 2025Show all
2 papers · 1 filter
cs.LG2025
Neural Sum-of-Squares: Certifying the Nonnegativity of Polynomials with Transformers
Nico Pelleriti, Christoph Spiegel, Shiwei Liu +3
Certifying nonnegativity of polynomials is a well-known NP-hard problem with direct applications spanning non-convex optimization, control, robotics, and beyond. A sufficient condi…
cs.LG2025
Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?
Konrad Mundinger, Max Zimmer, Aldo Kiem +2
We demonstrate how neural networks can drive mathematical discovery through a case study of the Hadwiger-Nelson problem, a long-standing open problem at the intersection of discret…