Omri Isac
Scholar

Omri Isac

Google Scholar ID: 47EbdvgAAAAJ
The Hebrew University of Jerusalem
Neural Network VerificationProof Theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
150
 
H-index
6
 
i10-index
2
 
Publications
13
 
Co-authors
0
 
Contact
Emailmy.name@huji.ac.ilGitHubOpen ↗
Publications
6 items
Proof Minimization in Neural Network Verification
2025
Cited
0
Abstraction-Based Proof Production in Formal Verification of Neural Networks
2025
Cited
0
Proof-Driven Clause Learning in Neural Network Verification
2025
Cited
0
Neural Network Verification is a Programming Language Challenge
2025
Cited
0
A Certified Proof Checker for Deep Neural Network Verification
arXiv.org · 2024
Cited
4
NLP Verification: Towards a General Methodology for Certifying Robustness
arXiv.org · 2024
Cited
1
Resume
Research Experience
  • Contributes to the Marabou DNN verifier as part of his research.
Education
  • B.Sc. in Computer Science and Mathematics from the Hebrew University of Jerusalem (HUJI) in the 'Amirim' honors program; M.Sc. in Computer Science from HUJI.
Background
  • Research interests: proof production for deep neural network (DNN) verification, and its theoretical computability and complexity aspects. Advisor: Prof. Guy Katz.