Paper "Verifying Global Neural Network Specifications using Hyperproperties" accepted for FoMLAS 2023
The paper "Verifying Global Neural Network Specifications using Hyperproperties", authored by David Boetius and Stefan Leue has been accepted for presentation at the 9th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS 2023, in Paris, France.
Read more