Yiping Tang, Kohei Hatano, Eiji Takimoto. Boosting-Based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks. In Albert Bifet, Ana Carolina Lorena, Rita P. Ribeiro, João Gama 0001, Pedro H. Abreu, editors, Discovery Science - 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings. Volume 14276 of Lecture Notes in Computer Science, pages 477-491, Springer, 2023. [doi]
Abstract is missing.