EasyChair Smart SlideDocs/Log in
Author: Guy Katz

This page shows all presentations of this author published in EasyChair Smart Slide.

Neural Network Robustness as a Verification Property: a Principled Case Study

Neural Network Robustness as a Verification Property: a Principled Case Study

Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir and Idan Refaeli

Minimal Modifications of Deep Neural Networks Using Verification

Minimal Modifications of Deep Neural Networks Using Verification

Ben Goldberger, Guy Katz, Yossi Adi and Joseph Keshet

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair