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

18H-index
65Paper Count
2.5KCitation Count
Published Papers 2
Publication Date
logo
Enhancing Scenario-Based Modeling Using Large Language Models
errMODEL-BASED SOFTWARE AND SYSTEMS ENGINEERING, MODELSWARD 2024
IF0
err2026-01-01
err0
PREAI
errHarel, David; Katz, Guy; Marron, Assaf; Szekely, Smadar
errShare
errSave
Proof Minimization in Neural Network Verification
errVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
err2026-01-01
err0
PREAI
errIsac, Omri; Refaeli, Idan; Wu, Haoze; Barrett, Clark; Katz, Guy
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
D
David Harel
H-index: 75 · Papers: 533
A
Assaf Marron
H-index: 16 · Papers: 104
I
Idan Refaeli
H-index: 5 · Papers: 18
S
Smadar Szekely
H-index: 4 · Papers: 30
C
C. BARRETT
H-index: 1 · Papers: 13
View more