work cuADMM CUDA-based ADMM solver for SDPs KernelSOS Kernel-based Sum-of-Squares Optimization for Robotics
