3 papers
math.AG2026
Fast Isotopy Computation for T-Curves
Zoe Geiselmann, Michael Joswig, Lars Kastner +5
A T-curve of degree is given by a regular unimodular triangulation of together with a sign distribution on its lattice points. By Viro's Patchworking Theorem, thi…
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…