@inproceedings{NEURIPS2022_1700ad4e, author = {Abad Rocamora, Elias and Sahin, Mehmet Fatih and Liu, Fanghui and Chrysos, Grigorios and Cevher, Volkan}, booktitle = {Advances in Neural Information Processing Systems}, editor = {S. Koyejo and S. Mohamed and A. Agarwal and D. Belgrave and K. Cho and A. Oh}, pages = {3517--3529}, publisher = {Curran Associates, Inc.}, title = {Sound and Complete Verification of Polynomial Networks}, url = {https://proceedings.neurips.cc/paper_files/paper/2022/file/1700ad4e6252e8f2955909f96367b34d-Paper-Conference.pdf}, volume = {35}, year = {2022} }