Neural Sum-of-Squares: Certifying the Nonnegativity of Polynomials with Transformers

Open in new window