Guy Katz
Scholar

Guy Katz

Google Scholar ID: 3nYG5BMAAAAJ
The Hebrew University of Jerusalem
VerificationSoftware Engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
5,836
 
H-index
29
 
i10-index
65
 
Publications
20
 
Co-authors
0
 
Contact
LinkedInOpen ↗
Publications
29 items
Lookahead Branching for Neural Network Verification
2026
Cited
0
veriFIRE: an Industrial Case Study in Verifying Consistency Properties for a DNN-Based Wildfire Detection System
2026
Cited
0
Neural Network Verification using Partial Multi-Neuron Relaxation
2026
Cited
0
Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
2026
Cited
0
Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs
2026
Cited
0
Incremental Neural Network Verification via Learned Conflicts
2026
Cited
0
FAME: Formal Abstract Minimal Explanation for Neural Networks
2026
Cited
0
Unifying Formal Explanations: A Complexity-Theoretic Perspective
2026
Cited
2
Resume
Academic Achievements
  • Recipient of an ERC Starting Grant from the European Research Council
  • Funded by the European Commission through the RobustifAI consortium
  • Supported by grants from the Israeli Science Foundation (ISF)
  • Supported by the Israel Innovation Authority
  • Co-chairing TACAS in Turin, April 2026