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 • 19 Mar 2023 • Natalia Ślusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert Stewart, Kathrin Stark
A DL consists of a syntax in which specifications are stated and an interpretation function that translates expressions in the syntax into loss functions.