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

28 items

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

Provably Explaining Neural Additive Models

2026

Cited

0

Resume (English only)

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

Co-authors

0 total

Co-authors: 0 (list not available)