热点
"半定规划" 相关文章
Neural Sum-of-Squares: Certifying the Nonnegativity of Polynomials with Transformers
cs.AI updates on arXiv.org 2025-10-16T04:27:35.000000Z
A theoretical guarantee for SyncRank
cs.AI updates on arXiv.org 2025-09-30T04:03:26.000000Z
Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
cs.AI updates on arXiv.org 2025-09-23T06:03:50.000000Z