3 citations · 4 across the 4 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2022★ 1 cited
A Copositive Framework for Analysis of Hybrid Ising-Classical Algorithms
Robin Brown, David E. Bernal Neira, Davide Venturelli +1
Recent years have seen significant advances in quantum/quantum-inspired technologies capable of approximately searching for the ground state of Ising spin Hamiltonians. The promise…
math.OC2022★ 3 cited
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming
Robin Brown, Edward Schmerling, Navid Azizan +1
Verifying that input-output relationships of a neural network conform to prescribed operational specifications is a key enabler towards deploying these networks in safety-critical…