Neural Sum-of-Squares: Certifying the Nonnegativity of Polynomials with Transformers
arXiv preprint (under review), 2025
@article{pelleriti2025neural,
title={Neural Sum-of-Squares: Certifying the Nonnegativity of Polynomials with Transformers},
author={Pelleriti, Nico and Spiegel, Christoph and Liu, Shiwei and Mart{\'i}nez-Rubio, David and Zimmer, Max and Pokutta, Sebastian},
journal={arXiv preprint arXiv:2510.13444},
year={2025}
}