Provable Preimage Under-Approximation for Neural Networks (Full Version)

MLA

Zhang, Xiyue, et al. Provable Preimage Under-Approximation for Neural Networks (Full Version). 2023. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2305.03686&authtype=sso&custid=ns315887.

APA

Zhang, X., Wang, B., & Kwiatkowska, M. (2023). Provable Preimage Under-Approximation for Neural Networks (Full Version).

Chicago

Zhang, Xiyue, Benjie Wang, and Marta Kwiatkowska. 2023. “Provable Preimage Under-Approximation for Neural Networks (Full Version).” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2305.03686&authtype=sso&custid=ns315887.