Scholar

Yizhak Yisrael Elboher

Google Scholar ID: BIGa44UAAAAJ

The Hebrew University of Jerusalem

Formal VerificationNeural NetworksComputer Science

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

223

H-index

4

i10-index

3

Publications

12

Co-authors

0

Contact

No contact links provided.

Publications

5 items

Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs

2026

Cited

0

Provably Explaining Neural Additive Models

2026

Cited

0

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits

2025

Cited

0

Abstraction-Based Proof Production in Formal Verification of Neural Networks

2025

Cited

0

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)