Research map / Learning theory and algorithms / Combinatorial and search optimization
Neural Sum-of-Squares: Certifying the Nonnegativity of Polynomials with Transformers
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Closest papers by meaning
- Learning Polynomial Problems with $SL(2, \mathbb{R})$-Equivariance (ICLR 2024 · similarity 0.86)
- S-SOS: Stochastic Sum-Of-Squares for Parametric Polynomial Optimization (NeurIPS 2024 · similarity 0.85)
- Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework (CVPR 2025 · similarity 0.85)
- Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms (NeurIPS 2025 · similarity 0.84)
- Automated Proof of Polynomial Inequalities via Reinforcement Learning (CVPR 2025 · similarity 0.84)
- Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization (ICLR 2025 · similarity 0.83)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.