Concepedia

Guy Katz

GK

13

Publications

478

Citations

12

H-Index

2015

Active since

Affiliations

Stanford University(Current)

Weizmann Institute of Science

Hebrew University of Jerusalem

New York University

Guy Katz is an author at Stanford University specializing in engineering, computer science, and verification.

Top concepts

EngineeringComputer ScienceVerificationDeep LearningArtificial IntelligenceFormal VerificationSystems EngineeringMachine LearningAutomated ReasoningAdversarial Machine Learning

Publications per year

2015–2021

13

Publications

13

Towards Proving the Adversarial Robustness of Deep Neural Networks

Guy Katz, Clark Barrett, David L. Dill et al. · Electronic Proceedings in Theoretical Computer Science · 2017 · 115 citations · Full text

Artificial Intelligence, Ai Reliability, Adversarial Robustness +14

Verifying Deep-RL-Driven Systems

Yafim Kazak, Clark Barrett, Guy Katz et al. · 2019 · 58 citations · Full text

Artificial Intelligence, Engineering, Verification +21

Minimal Modifications of Deep Neural Networks using Verification

Ben Goldberger, Guy Katz, Yossi Adi et al. · EPiC series in computing · 2020 · 44 citations · Full text

Artificial Intelligence, Convolutional Neural Network, Deep Neural Networks +12

Ground-Truth Adversarial Examples

Nicholas Carlini, Guy Katz, Clark Barrett et al. · 2018 · 43 citations

Artificial Intelligence, Attack Techniques, Engineering +14

Reluplex: a calculus for reasoning about deep neural networks

Guy Katz, Clark Barrett, David L. Dill et al. · Formal Methods in System Design · 2021 · 43 citations

Artificial Intelligence, Deep Neural Networks, Engineering +6

Rows per page

1–5 of 13