TY  - RPRT
TI  - Sound and Complete Verification of Polynomial Networks
AU  - Elias Abad Rocamora
AU  - Mehmet Fatih Sahin
AU  - Fanghui Liu
AU  - Grigorios G Chrysos
AU  - Volkan Cevher
PY  - 2022
UR  - https://arxiv.org/abs/2209.07235
ID  - 2209.07235
ER  -