Picture for Guy Katz

Guy Katz

Stanford University

Proof-Driven Clause Learning in Neural Network Verification

Add code
Mar 15, 2025
Viaarxiv icon

On the Computational Tractability of the (Many) Shapley Values

Add code
Feb 17, 2025
Viaarxiv icon

Neural Network Verification is a Programming Language Challenge

Add code
Jan 10, 2025
Viaarxiv icon

Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation

Add code
Aug 07, 2024
Viaarxiv icon

Safe and Reliable Training of Learning-Based Aerospace Controllers

Add code
Jul 09, 2024
Figure 1 for Safe and Reliable Training of Learning-Based Aerospace Controllers
Figure 2 for Safe and Reliable Training of Learning-Based Aerospace Controllers
Figure 3 for Safe and Reliable Training of Learning-Based Aerospace Controllers
Viaarxiv icon

Formal Verification of Object Detection

Add code
Jul 01, 2024
Figure 1 for Formal Verification of Object Detection
Figure 2 for Formal Verification of Object Detection
Figure 3 for Formal Verification of Object Detection
Figure 4 for Formal Verification of Object Detection
Viaarxiv icon

Verification-Guided Shielding for Deep Reinforcement Learning

Add code
Jun 10, 2024
Viaarxiv icon

Local vs. Global Interpretability: A Computational Complexity Perspective

Add code
Jun 07, 2024
Figure 1 for Local vs. Global Interpretability: A Computational Complexity Perspective
Figure 2 for Local vs. Global Interpretability: A Computational Complexity Perspective
Viaarxiv icon

Shield Synthesis for LTL Modulo Theories

Add code
Jun 06, 2024
Viaarxiv icon

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains

Add code
Jun 04, 2024
Figure 1 for Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
Figure 2 for Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
Figure 3 for Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
Figure 4 for Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
Viaarxiv icon