The following pages link to Guy Katz (Q2151236):
Displaying 14 items.
- Reluplex: an efficient SMT solver for verifying deep neural networks (Q2151238) (← links)
- SMTCoq: a plug-in for integrating SMT solvers into Coq (Q2164216) (← links)
- An abstraction-based framework for neural network verification (Q2225075) (← links)
- An SMT-based approach for verifying binarized neural networks (Q2233508) (← links)
- Relaxing Synchronization Constraints in Behavioral Programs (Q2870140) (← links)
- On Module-Based Abstraction and Repair of Behavioral Programs (Q2870151) (← links)
- On the Succinctness of Idioms for Concurrent Programming (Q5357696) (← links)
- Global optimization of objective functions represented by ReLU networks (Q6053800) (← links)
- Reluplex: a calculus for reasoning about deep neural networks (Q6108442) (← links)
- Towards formal XAI: formally approximate minimal explanations of neural networks (Q6535352) (← links)
- \textsc{OccRob}: efficient SMT-based occlusion robustness verification of deep neural networks (Q6535354) (← links)
- Verifying generalization in deep learning (Q6535549) (← links)
- Efficient neural network analysis with sum-of-infeasibilities (Q6535564) (← links)
- Verifying the generalization of deep learning to out-of-distribution domains (Q6611966) (← links)
