Sound and Complete Verification of Polynomial Networks

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Elias Abad Rocamora Mehmet Fatih Sahin, Fanghui Liu, Grigoriso Chrysos, Volkan Cevher

Journal title: Advances in Neural Information Processing Systems 35 (NeurIPS 2022)

Journal number: November 28 - December 9, 2022

Journal publisher: NeurIPS

Published year: 2022