Guy Katz

Available identifiers

zbMath Open katz.guyMaRDI QIDQ2151236

List of research outcomes

Publication	Date of Publication	Type
Global optimization of objective functions represented by ReLU networks	2023-10-24	Paper
Neural Network Verification Using Residual Reasoning	2023-08-04	Paper
DeepSafe: a data-driven approach for assessing robustness of neural networks	2023-07-28	Paper
Reluplex: a calculus for reasoning about deep neural networks	2023-06-29	Paper
Verifying Recurrent Neural Networks Using Invariant Inference	2022-12-22	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	2022-07-01	Paper
An SMT-based approach for verifying binarized neural networks	2021-10-18	Paper
An abstraction-based framework for neural network verification	2021-02-04	Paper
On the Succinctness of Idioms for Concurrent Programming	2017-09-12	Paper
Relaxing Synchronization Constraints in Behavioral Programs	2014-01-17	Paper
On Module-Based Abstraction and Repair of Behavioral Programs	2014-01-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Guy Katz