logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
G

Guy Katz

hebrew university of jerusalem

16H指数
129论文数
1.5K被引数
收录论文 3
发表时间
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
err分享
err收藏
Statistical Runtime Verification for LLMs via Robustness Estimation通过鲁棒性估计进行大语言模型的统计运行时验证
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err1
PREAI
errLevy, Natan; Ashrov, Adiel; Katz, Guy
err分享
err收藏
Global optimization of objective functions represented by ReLU networksReLU网络表示的目标函数的全局优化
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.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Mykel J. Kochenderfer
H 指数: 50 · 论文数: 609
C
Clark Barrett
H 指数: 42 · 论文数: 290
K
Kyle D. Julian
H 指数: 15 · 论文数: 34
H
Haoze Wu
H 指数: 10 · 论文数: 70
A
Aleksandar Zeljić
H 指数: 8 · 论文数: 16
查看更多