Author:
König Matthias,Zhang Xiyue,Hoos Holger H.,Kwiatkowska Marta,van Rijn Jan N.
Publisher
Springer Nature Switzerland
Reference39 articles.
1. Bak, S., Tran, H.D., Hobbs, K., Johnson, T.T.: Improved geometric path enumeration for verifying ReLU neural networks. In: Proceedings of the 32nd International Conference on Computer Aided Verification (CAV 2020), pp. 66–96 (2020)
2. Bezerra, L.C., López-Ibánez, M., Stützle, T.: Automatic component-wise design of multiobjective evolutionary algorithms. IEEE Trans. Evol. Comput. 20(3), 403–417 (2015)
3. Botoeva, E., Kouvaros, P., Kronqvist, J., Lomuscio, A., Misener, R.: Efficient verification of ReLU-based neural networks via dependency analysis. In: Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI-20), pp. 3291–3299 (2020)
4. Breiman, L.: Random forests. Mach. Learn. 45(1), 5–32 (2001)
5. Bunel, R., Lu, J., Turkaslan, I., Torr, P.H.S., Kohli, P., Kumar, M.P.: Branch and bound for piecewise linear neural network verification. J. Mach. Learn. Res. 21, 42:1–42:39 (2020)