research
∙
07/27/2022
Copositive programming for mixed-binary quadratic optimization via Ising solvers
Recent years have seen significant advances in quantum/quantum-inspired ...
share
research
∙
03/06/2022
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming
Verifying that input-output relationships of a neural network conform to...
research
∙
02/27/2020
