Francesco Leofante, Patrick Henriksen, Alessio Lomuscio. Verification-friendly Networks: the Case for Parametric ReLUs. In International Joint Conference on Neural Networks, IJCNN 2023, Gold Coast, Australia, June 18-23, 2023. pages 1-9, IEEE, 2023. [doi]
Abstract is missing.