Search

Displaying 1 result.
  1. Verifying Binarized Neural Networks using Marabou
    By : Piotrowski, Maciej[UCL] Directed by : Nijssen, Siegfried[UCL] (2023) Ecole polytechnique de Louvain