TY  - RPRT
TI  - Chordal Sparsity for SDP-based Neural Network Verification
AU  - Anton Xue
AU  - Lars Lindemann
AU  - Rajeev Alur
PY  - 2024
UR  - https://arxiv.org/abs/2206.03482
ID  - 2206.03482
ER  -