Implement copositive splitting - Githubissues

stellatogrp / algorithm_verification

Apache License 2.0

3 stars 0 forks source link

Implement copositive splitting #10

Open bstellato opened 2 years ago

bstellato commented 2 years ago

Implement the splitting formulation as in paper A Unified View of SDP-based Neural Network Verification through Completely Positive Programming.

[ ] Add splitting SDP solver to separate branch
[ ] Writeup derivation in the paper

vinitranjan1 commented 2 years ago

[ ] Add splitting SDP solver to separate branch