Elías Abad-Rocamora, Mehmet Fatih Sahin, Fanghui Liu 0001, Grigorios Chrysos 0002, Volkan Cevher. Sound and Complete Verification of Polynomial Networks. In Sanmi Koyejo, S. Mohamed, A. Agarwal, Danielle Belgrave, K. Cho, A. Oh, editors, Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022. 2022. [doi]
Abstract is missing.