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
25 items
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
Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
2026
Cited
0
ReSMT: An SMT-Based Tool for Reverse Engineering
2025
Cited
0
Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
2025
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)