Avraham Raviv

11 papers A 2B 2C 1Misc 1Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits.
CoRR
Yizhak Yisrael Elboher, Avraham Raviv, Amihay Elboher, Zhouxing Shi, Omri Azencot, Hillel Kugler, Guy Katz
2025 Misc conf
Robust Deep Reinforcement Learning Using Formal Verification.
TASE
Avraham Raviv, Shaiel Vistuch, Boaz Gurevich, Erel Dekel, Hillel Kugler
2024 J jnl
Formal Verification of Object Detection.
CoRR
Avraham Raviv, Yizhak Yisrael Elboher, Michelle Aluf-Medina, Yael Leibovich Weiss, Omer Cohen, Roy Assa, Guy Katz, Hillel Kugler
2024 — conf
TAPS: Temporal Attention-Based Pruning and Scaling for Efficient Video Action Recognition.
ACCV (3)
Yonatan Dinai, Avraham Raviv, Nimrod Harel, Donghoon Kim, Ishay Goldin, Niv Zehngut
2023 B conf
Learning Through Imitation by Using Formal Verification.
SOFSEM
Avraham Raviv, Eliya Bronshtein, Or Reginiano, Michelle Aluf-Medina, Hillel Kugler
2023 — conf
Prediction and Control of Stochastic Agents Using Formal Methods.
FoMLAS@CAV
Avraham Raviv, Yuval Gerber, Liri Benzinou, Michelle Aluf-Medina, Hillel Kugler
2023 C conf
Simulation and Verification of Network-Based Biocomputation Circuits.
ISCAS
Michelle Aluf-Medina, Avraham Raviv, Himanshu Arora, Till Korten, Hillel Kugler
2022 A conf
D-STEP: Dynamic Spatio-Temporal Pruning.
BMVC
Avraham Raviv, Yonatan Dinai, Igor Drozdov, Niv Zehngut, Ishay Goldin
2022 A conf
Layer Folding: Neural Network Depth Reduction using Activation Linearization.
BMVC
Amir Ben Dror, Niv Zehngut, Avraham Raviv, Evgeny Artyomov, Ran Vitek
2021 B conf
Formal Semantics and Verification of Network-Based Biocomputation Circuits.
VMCAI
Michelle Aluf-Medina, Till Korten, Avraham Raviv, Dan V. Nicolau Jr., Hillel Kugler
2021 J jnl
Layer Folding: Neural Network Depth Reduction using Activation Linearization.
CoRR
Amir Ben Dror, Niv Zehngut, Avraham Raviv, Evgeny Artyomov, Ran Vitek, Roy J. Jevnisek