Boosting-based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks

MLA

Tang, Yiping, et al. Boosting-Based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks. 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.2306.05211&authtype=sso&custid=ns315887.

APA

Tang, Y., Hatano, K., & Takimoto, E. (2023). Boosting-based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks.

Chicago

Tang, Yiping, Kohei Hatano, and Eiji Takimoto. 2023. “Boosting-Based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks.” 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.2306.05211&authtype=sso&custid=ns315887.