no code implementations • 12 Jul 2023 • Remi Desmartin, Omri Isac, Grant Passmore, Kathrin Stark, Guy Katz, Ekaterina Komendantskaya
In this work, we present a novel implementation of a proof checker for DNN verification.
no code implementations • 21 Jul 2022 • Remi Desmartin, Grant Passmore, Ekaterina Komendantskaya, Matthew Daggitt
Neural networks are increasingly relied upon as components of complex safety-critical systems such as autonomous vehicles.