影响力指数

-/100

发表论文1 篇

平均评分4.7

年均产出1.0 篇/年

Hillel Kugler

Associate Professor@Bar-Ilan University·以色列·OpenReview

研究方向

Biological Computation · Formal Verification

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

ICLR 2026Rejected

合作者 (6)

PhD Advisee1 篇

Yizhak Yisrael Elboher