TY  - RPRT
TI  - Neural Sum-of-Squares: Certifying the Nonnegativity of Polynomials with Transformers
AU  - Nico Pelleriti
AU  - Christoph Spiegel
AU  - Shiwei Liu
AU  - David Martínez-Rubio
AU  - Max Zimmer
AU  - Sebastian Pokutta
PY  - 2025
UR  - https://arxiv.org/abs/2510.13444
ID  - 2510.13444
ER  -