Co-occurring keywords · papers mentioning both
Papers
Statistical and Computational Guarantees of Kernel Max-Sliced Wasserstein Distances
ICML 2025
A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification
AAAI 2023