Guy Katz

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A certified proof checker for deep neural network verification in imandra	2026-09-01	Paper
DNN verification, reachability, and the exponential function problem	2025-06-26	Paper
Minimal modifications of deep neural networks using verification	2025-02-20	Paper
Tighter abstract queries in neural network verification	2025-02-19	Paper
Verifying the generalization of deep learning to out-of-distribution domains Journal of Automated Reasoning	2024-09-27	Paper
Efficient neural network analysis with sum-of-infeasibilities	2024-01-23	Paper
Verifying generalization in deep learning	2024-01-12	Paper
Towards formal XAI: formally approximate minimal explanations of neural networks	2023-12-13	Paper
\textsc{OccRob}: efficient SMT-based occlusion robustness verification of deep neural networks	2023-12-13	Paper
Global optimization of objective functions represented by ReLU networks Machine Learning	2023-10-24	Paper
Neural Network Verification Using Residual Reasoning Software Engineering and Formal Methods	2023-08-04	Paper
DeepSafe: a data-driven approach for assessing robustness of neural networks Automated Technology for Verification and Analysis	2023-07-28	Paper
Reluplex: a calculus for reasoning about deep neural networks Formal Methods in System Design	2023-06-29	Paper
Verifying Recurrent Neural Networks Using Invariant Inference 1517.68241	2022-12-22	Paper
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System (available as arXiv preprint)	2022-12-06	Paper
SMTCoq: a plug-in for integrating SMT solvers into Coq	2022-08-12	Paper
Reluplex: an efficient SMT solver for verifying deep neural networks (available as arXiv preprint)	2022-07-01	Paper
An SMT-based approach for verifying binarized neural networks (available as arXiv preprint)	2021-10-18	Paper
An abstraction-based framework for neural network verification (available as arXiv preprint)	2021-02-04	Paper
On the succinctness of idioms for concurrent programming	2017-09-12	Paper
Relaxing synchronization constraints in behavioral programs Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
On module-based abstraction and repair of behavioral programs Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper

Research outcomes over time

This page was built for person: Guy Katz