conftrace_

convex relaxation

112 papers

Explore in graph

Co-occurring keywords

convex optimization (1321) semidefinite programming (147) combinatorial optimization (1039) neural network verification (106) linear programming (227) low-rank matrix (174) graphical model (864) adversarial robustness (1341) quadratic programming (83) matrix recovery (51)

Papers

Convex Relaxation for Robust Vanishing Point Estimation in Manhattan World CVPR 2025
Certifiably Optimal Anisotropic Rotation Averaging ICCV 2025
Validation of composite systems by discrepancy propagation UAI 2023
Semidefinite Relaxations for Robust Multiview Triangulation CVPR 2023
A View of Exact Inference in Graphs from the Degree-4 Sum-of-Squares Hierarchy AISTATS 2022
Solving Large-Scale Sparse PCA to Certifiable (Near) Optimality JMLR 2022
Correlation-Based Algorithm for Team-Maxmin Equilibrium in Multiplayer Extensive-Form Games IJCAI 2022
Private Robust Estimation by Stabilizing Convex Relaxations COLT 2022
Clustering with Semidefinite Programming and Fixed Point Iteration JMLR 2022
On Low-rank Trace Regression under General Sampling Distribution JMLR 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification NIPS 2022
Exact Partitioning of High-order Models with a Novel Convex Tensor Cone Relaxation JMLR 2022
Overcoming the Convex Barrier for Simplex Inputs NIPS 2021
Efficient Certification of Spatial Robustness AAAI 2021
Low-Rank Extragradient Method for Nonsmooth and Low-Rank Matrix Optimization Problems NIPS 2021
Sparse and Smooth Signal Estimation: Convexification of L0-Formulations JMLR 2021
Fastened CROWN: Tightened Neural Network Robustness Certificates AAAI 2020
Hierarchical Verification for Adversarial Robustness ICML 2020
Safe screening rules for L0-regression from Perspective Relaxations ICML 2020
One Size Fits All: Can We Train One Denoiser for All Noise Levels? ICML 2020
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming NIPS 2020
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification NIPS 2020
New Convex Relaxations for MRF Inference With Unknown Graphs ICCV 2019
Practical Coding Function Design for Time-Of-Flight Imaging CVPR 2019
Beyond the Single Neuron Convex Barrier for Neural Network Certification NIPS 2019