Example guided synthesis of linear approximations for neural network verification. (English) Zbl 1514.68142
Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 149-170 (2022).