Guy Amir

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation 2024 Guy Amir
Shahaf Bassan
Guy Katz
+ PDF Chat Safe and Reliable Training of Learning-Based Aerospace Controllers 2024 Udayan Mandal
Guy Amir
Haoze Wu
Ieva Daukantas
Fletcher Lee Newell
U. Ravaioli
Baoluo Meng
Michael Durling
Kerianne L. Hobbs
Milan Ganai
+ PDF Chat Verification-Guided Shielding for Deep Reinforcement Learning 2024 Davide Corsi
Guy Amir
Andoni Rodriguez
César Sánchez
Guy Katz
Roy Fox
+ PDF Chat Shield Synthesis for LTL Modulo Theories 2024 Andoni Rodriguez
Guy Amir
Davide Corsi
César Sánchez
Guy Katz
+ PDF Chat Verifying the Generalization of Deep Learning to Out-of-Distribution Domains 2024 Guy Amir
Osher Maayan
Tom Zelazny
Guy Katz
Michael Schapira
+ PDF Chat Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates 2024 Udayan Mandal
Guy Amir
Haoze Wu
Ieva Daukantas
Fletcher Lee Newell
U. Ravaioli
Baoluo Meng
Michael Durling
Milan Ganai
T.I. Shim
+ PDF Chat Analyzing Adversarial Inputs in Deep Reinforcement Learning 2024 Davide Corsi
Guy Amir
Guy Katz
Alessandro Farinelli
+ PDF Chat Marabou 2.0: A Versatile Formal Analyzer of Neural Networks 2024 Haoze Wu
Omri Isac
Aleksandar Zeljić
Teruhiro Tagomori
Matthew L. Daggitt
Wen Kokke
Idan Refaeli
Guy Amir
Kyle D. Julian
Shahaf Bassan
+ Verifying Generalization in Deep Learning 2023 Guy Amir
Osher Maayan
Tom Zelazny
Guy Katz
Michael Schapira
+ PDF Chat veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System 2023 Guy Amir
Ziv Freund
Guy Katz
Elad Mandelbaum
Idan Refaeli
+ Formally Explaining Neural Networks within Reactive Systems 2023 Shahaf Bassan
Guy Amir
Davide Corsi
Idan Refaeli
Guy Katz
+ Scenario-assisted Deep Reinforcement Learning 2022 Raz Yerushalmi
Guy Amir
Achiya Elyasaf
David Harel
Guy Katz
Assaf Marron
+ Scenario-Assisted Deep Reinforcement Learning 2022 Raz Yerushalmi
Guy Amir
Achiya Elyasaf
David Harel
Guy Katz
Assaf Marron
+ Verification-Aided Deep Ensemble Selection 2022 Guy Amir
Guy Katz
Michael Schapira
+ Verifying Learning-Based Robotic Navigation Systems 2022 Guy Amir
Davide Corsi
Raz Yerushalmi
Luca Marzari
David Harel
Alessandro Farinelli
Guy Katz
+ Constrained Reinforcement Learning for Robotics via Scenario-Based Programming 2022 Davide Corsi
Raz Yerushalmi
Guy Amir
Alessandro Farinelli
David Harel
Guy Katz
+ veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System 2022 Guy Amir
Ziv Freund
Guy Katz
Elad Mandelbaum
Idan Refaeli
+ PDF Chat Use and Perceptions of Multi-Monitor Workstations: A Natural Experiment 2021 Guy Amir
Ayala Prusak
Tal Reiss
Nir Zabari
Dror G. Feitelson
+ Towards Scalable Verification of RL-Driven Systems 2021 Guy Amir
Michael Schapira
Guy Katz
+ PDF Chat An SMT-Based Approach for Verifying Binarized Neural Networks 2021 Guy Amir
+ Use and Perceptions of Multi-Monitor Workstations: A Natural Experiment 2021 Guy Amir
Ayala Prusak
Tal Reiss
Nir Zabari
Dror G. Feitelson
+ Towards Scalable Verification of Deep Reinforcement Learning 2021 Guy Amir
Michael Schapira
Guy Katz
+ Neural Network Robustness as a Verification Property: A Principled Case Study 2021 Marco Casadio
Ekaterina Komendantskaya
Matthew L. Daggitt
Wen Kokke
Guy Katz
Guy Amir
Idan Refaeli
+ Use and Perceptions of Multi-Monitor Workstations: A Natural Experiment 2021 Guy Amir
Ayala Prusak
Tal Reiss
Nir Zabari
Dror G. Feitelson
+ An SMT-Based Approach for Verifying Binarized Neural Networks 2020 Guy Amir
Haoze Wu
Clark Barrett
Guy Katz
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ PDF Chat Safety Verification of Deep Neural Networks 2017 Xiaowei Huang
Marta Kwiatkowska
Sen Wang
Min Wu
3
+ PDF Chat Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks 2017 Guy Katz
Clark Barrett
David L. Dill
Kyle D. Julian
Mykel J. Kochenderfer
3
+ An Abstraction-Based Framework for Neural Network Verification 2020 Yizhak Yisrael Elboher
Justin Gottschlich
Guy Katz
3
+ RAID: Randomized Adversarial-Input Detection for Neural Networks 2020 Hasan Ferit Enişer
Maria Christakis
Valentin Wüstholz
2
+ PDF Chat Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks 2017 Rüdiger Ehlers
2
+ PDF Chat Towards Proving the Adversarial Robustness of Deep Neural Networks 2017 Guy Katz
Clark Barrett
David L. Dill
Kyle D. Julian
Mykel J. Kochenderfer
2
+ Deep Reinforcement Learning: An Overview 2017 Yuxi Li
2
+ Towards Fast Computation of Certified Robustness for ReLU Networks 2018 Tsui-Wei Weng
Huan Zhang
Hongge Chen
Zhao Song
Cho‐Jui Hsieh
Duane S. Boning
Inderjit S. Dhillon
Luca Daniel
2
+ PDF Chat Verifying Recurrent Neural Networks Using Invariant Inference 2020 Yuval Jacoby
Clark Barrett
Guy Katz
2
+ PDF Chat Simplifying Neural Networks Using Formal Verification 2020 Sumathi Gokulanathan
Alexander Feldsher
Adi Malca
Clark Barrett
Guy Katz
2
+ Formal Security Analysis of Neural Networks using Symbolic Intervals 2018 Shiqi Wang
Kexin Pei
Justin Whitehouse
Junfeng Yang
Suman Jana
2
+ Deep Reinforcement Learning for Multi-Resource Multi-Machine Job Scheduling. 2017 Weijia Chen
Yuedong Xu
Xiaofeng Wu
2
+ Formal Security Analysis of Neural Networks using Symbolic Intervals 2018 Shiqi Wang
Kexin Pei
Justin Whitehouse
Junfeng Yang
Suman Jana
1
+ Efficient Formal Safety Analysis of Neural Networks 2018 Shiqi Wang
Kexin Pei
Justin Whitehouse
Junfeng Yang
Suman Jana
1
+ A Unified View of Piecewise Linear Neural Network Verification 2017 Rudy Bunel
Ilker Turkaslan
Philip H. S. Torr
Pushmeet Kohli
Manish Kumar
1
+ Very Deep Convolutional Networks for Large-Scale Image Recognition 2014 Karen Simonyan
Andrew Zisserman
1
+ PDF Chat Adaptive Quantization for Deep Neural Network 2018 Yiren Zhou
Seyed-Mohsen Moosavi-Dezfooli
Ngai‐Man Cheung
Pascal Frossard
1
+ PDF Chat Adversarial Examples in the Physical World 2018 Alexey Kurakin
Ian Goodfellow
Samy Bengio
1
+ PDF Chat Verifying Properties of Binarized Deep Neural Networks 2018 Nina Narodytska
Shiva Prasad Kasiviswanathan
Leonid Ryzhyk
Mooly Sagiv
Toby Walsh
1
+ PDF Chat Quantitative Verification of Neural Networks and Its Security Applications 2019 Teodora Baluta
Shiqi Shen
Shweta Shinde
Kuldeep S. Meel
Prateek Saxena
1
+ PDF Chat Fastened CROWN: Tightened Neural Network Robustness Certificates 2020 Zhaoyang Lyu
Ching-Yun Ko
Zhifeng Kong
Ngai Wong
Dahua Lin
Luca Daniel
1
+ Efficient Exact Verification of Binarized Neural Networks 2020 Kai Jia
Martin Rinard
1
+ PDF Chat Binarized Neural Architecture Search for Efficient Object Recognition 2020 Hanlin Chen
Li’an Zhuo
Baochang Zhang
Xiawu Zheng
Jianzhuang Liu
Rongrong Ji
David Doermann
Guodong Guo
1
+ PDF Chat DeepAbstract: Neural Network Abstraction for Accelerating Verification 2020 Pranav Ashok
Vahid Hashemi
Jan Křetínský
Stefanie Mohr
1
+ PDF Chat Interpreting Deep Learning-Based Networking Systems 2020 Zili Meng
Minhu Wang
Jiasong Bai
Mingwei Xu
Hongzi Mao
Hongxin Hu
1
+ PDF Chat Static Neural Compiler Optimization via Deep Reinforcement Learning 2020 Rahim Mammadli
Ali Jannesari
Felix Wolf
1
+ Pruning and Slicing Neural Networks using Formal Verification 2021 Ori Lahav
Guy Katz
1
+ PDF Chat Minimal Multi-Layer Modifications of Deep Neural Networks 2022 Idan Refaeli
Guy Katz
1
+ PDF Chat Parallelization Techniques for Verifying Neural Networks 2020 Haoze Wu
Alex Ozdemir
Aleksandar Zeljić
Ahmed Irfan
Kyle D. Julian
Divya Gopinath
Sadjad Fouladi
Guy Katz
Corina S. Păsăreanu
Clark Barrett
1
+ Toward Scalable Verification for Safety-Critical Deep Networks 2018 Lindsey Kuper
Guy Katz
Justin Gottschlich
Kyle D. Julian
Clark Barrett
Mykel J. Kochenderfer
1
+ Measuring Neural Net Robustness with Constraints 2016 Osbert Bastani
Yani Ioannou
Leonidas Lampropoulos
Dimitrios Vytiniotis
Aditya Nori
Antonio Criminisi
1
+ Quantization Networks 2019 Jiwei Yang
Xu Shen
Jun Xing
Xinmei Tian
Houqiang Li
Bing Deng
Jianqiang Huang
Xian–Sheng Hua
1
+ Binarized Neural Networks 2016 Itay Hubara
Daniel Soudry
Ran El Yaniv
1
+ PDF Chat Neural Network Verification Using Residual Reasoning 2022 Yizhak Yisrael Elboher
Elazar Cohen
Guy Katz
1
+ Deep Compression: Compressing Deep Neural Networks with Pruning, Trained Quantization and Huffman Coding 2015 Song Han
Huizi Mao
William J. Dally
1
+ Linear Programming and Extensions 1963 George B. Dantzig
1
+ Very Deep Convolutional Networks for Large-Scale Image Recognition 2014 Karen Simonyan
Andrew Zisserman
1
+ PDF Chat An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks 2022 Matan Ostrovsky
Clark Barrett
Guy Katz
1
+ Linear Programming and Extensions 1963 George B. Dantzig
1
+ PDF Chat Multi-column deep neural networks for image classification 2012 Dan Cireşan
Ueli Meier
Jürgen Schmidhuber
1
+ PDF Chat XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks 2016 Mohammad Rastegari
Vicente Ordóñez
Joseph Redmon
Ali Farhadi
1
+ End to End Learning for Self-Driving Cars 2016 Mariusz Bojarski
Davide Del Testa
Daniel Dworakowski
Bernhard Firner
Beat Flepp
Prasoon Goyal
Lawrence D. Jackel
Mathew Monfort
Urs Müller
Jiakai Zhang
1
+ Quantized Neural Networks: Training Neural Networks with Low Precision Weights and Activations 2016 Itay Hubara
Matthieu Courbariaux
Daniel Soudry
Ran El‐Yaniv
Yoshua Bengio
1
+ PDF Chat Universal Adversarial Perturbations 2017 Seyed-Mohsen Moosavi-Dezfooli
Alhussein Fawzi
Omar Fawzi
Pascal Frossard
1
+ Pruning Convolutional Neural Networks for Resource Efficient Inference 2016 Pavlo Molchanov
Stephen Tyree
Tero Karras
Timo Aila
Jan Kautz
1
+ An approach to reachability analysis for feed-forward ReLU neural networks 2017 Alessio Lomuscio
Lalit Maganti
1
+ Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms 2017 Xiao Han
Kashif Rasul
Roland Vollgraf
1
+ PDF Chat Verification of Binarized Neural Networks via Inter-neuron Factoring 2018 Chih-Hong Cheng
Georg Nührenberg
Chung-Hao Huang
Harald Rueß
1
+ Provably Minimally-Distorted Adversarial Examples 2017 Nicholas Carlini
Guy Katz
Clark Barrett
David L. Dill
1