semidefinite programming

Learning-Based Resilient Interval Observers for Nonlinear Discrete-Time Bounded-Error Systems L4DC 2026 A Dynamic Penalization Framework for Online Rank-1 Semidefinite Programming Relaxations L4DC 2025 Building Rome with Convex Optimization RSS 2025 Convex Relaxation for Robust Vanishing Point Estimation in Manhattan World CVPR 2025 Distributional Surgery for Language Model Activations EMNLP 2025 Global Contact-Rich Planning with Sparsity-Rich Semidefinite Relaxations RSS 2025 Rank-one Convexification for Sparse Regression JMLR 2025 Robust Algorithms for Recovering Planted r-Colorable Graphs COLT 2025 SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming ICML 2025 Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification JMLR 2025 Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization ICLR 2025 Are Graph Neural Networks Optimal Approximation Algorithms? NeurIPS 2024 Convergence Analysis of Inexact Over-relaxed ADMM via Dissipativity Theory ACML 2024 Convex Relaxations for Manifold-Valued Markov Random Fields with Approximation Guarantees ECCV 2024 Distributed Kernel-Driven Data Clustering JMLR 2024 ECLipsE: Efficient Compositional Lipschitz Constant Estimation for Deep Neural Networks NeurIPS 2024 Efficient Convex Algorithms for Universal Kernel Learning JMLR 2024 Fast, Scalable, Warm-Start Semidefinite Programming with Spectral Bundling and Sketching ICML 2024 Gap-Free Clustering: Sensitivity and Robustness of SDP COLT 2024 Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations ICLR 2024 On Sparse Canonical Correlation Analysis NeurIPS 2024 On the Scalability and Memory Efficiency of Semidefinite Programs for Lipschitz Constant Estimation of Neural Networks ICLR 2024 RedEx: Beyond Fixed Representation Methods via Convex Optimization ALT 2024 Semidefinite Relaxations of the Gromov-Wasserstein Distance NeurIPS 2024 S-SOS: Stochastic Sum-Of-Squares for Parametric Polynomial Optimization NeurIPS 2024