logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
G

Guy Katz

hebrew university of jerusalem

16H-index
129Paper Count
1.5KCitation Count
Published Papers 3
Publication Date
logo
Abstraction-Based Proof Production in Formal Verification of Neural Networks (Extended Abstract)
errAI VERIFICATION, SAIV 2025
IF0
err2026-01-01
err0
PREAI
errElboher, Yizhak Yisrael; Isac, Omri; Katz, Guy; Ladner, Tobias; Wu, Haoze
errShare
errSave
Statistical Runtime Verification for LLMs via Robustness Estimation
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err1
PREAI
errLevy, Natan; Ashrov, Adiel; Katz, Guy
errShare
errSave
Global optimization of objective functions represented by ReLU networks
errMACHINE LEARNING
IF2.9
err2021-10-20
err13
errOAAI
errStrong, Christopher A.; Wu, Haoze; Zeljic, Aleksandar; Julian, Kyle D.; Katz, Guy; Barrett, Clark; Kochenderfer, Mykel J.
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
M
Mykel J. Kochenderfer
H-index: 50 · Papers: 609
C
Clark Barrett
H-index: 42 · Papers: 290
K
Kyle D. Julian
H-index: 15 · Papers: 34
H
Haoze Wu
H-index: 10 · Papers: 70
A
Aleksandar Zeljić
H-index: 8 · Papers: 16
View more