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

Yiping Tang, Kohei Hatano, Eiji Takimoto

Understanding the characteristics of neural networks is important but difficult due to their complex structures and behaviors. Some previous work proposes to transform neural netwo…