Statistics
Publications
1
Citations
43
H-Index
1
Active since
2021
Affiliations
Hebrew University of Jerusalem(Current)
Tomer Eliyahu is an author at Hebrew University of Jerusalem specializing in requirements formal verification, internet congestion control, and deep learning.
Publications per year
2021–2021
1
1
Verifying learning-augmented systems
Tomer Eliyahu, Yafim Kazak, Guy Katz et al. · 2021 · 43 citations
1–1 of 1