Avraham Raviv

According to our database, Avraham Raviv authored at least 12 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Towards Formal Verification of Deep Neural Networks for Object Detection.

Avraham Raviv, Yizhak Yisrael Elboher, Omri Isac, Michelle Aluf-Medina, Ben Hagag, Golan Shmueli, Guy Katz, Hillel Kugler

Proceedings of the NASA Formal Methods, 2026

2025

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

Yizhak Yisrael Elboher, Avraham Raviv, Amihay Elboher, Zhouxing Shi, Omri Azencot, Hillel Kugler, Guy Katz

CoRR, December, 2025

Robust Deep Reinforcement Learning Using Formal Verification.

Avraham Raviv, Shaiel Vistuch, Boaz Gurevich, Erel Dekel, Hillel Kugler

Proceedings of the Theoretical Aspects of Software Engineering, 2025

2024

Formal Verification of Object Detection.

Avraham Raviv, Yizhak Yisrael Elboher, Michelle Aluf-Medina, Yael Leibovich Weiss, Omer Cohen, Roy Assa, Guy Katz, Hillel Kugler

CoRR, 2024

TAPS: Temporal Attention-Based Pruning and Scaling for Efficient Video Action Recognition.

Yonatan Dinai, Avraham Raviv, Nimrod Harel, Donghoon Kim, Ishay Goldin, Niv Zehngut

Proceedings of the Computer Vision - ACCV 2024, 2024

2023

Learning Through Imitation by Using Formal Verification.

Avraham Raviv, Eliya Bronshtein, Or Reginiano, Michelle Aluf-Medina, Hillel Kugler

Proceedings of the SOFSEM 2023: Theory and Practice of Computer Science, 2023

Simulation and Verification of Network-Based Biocomputation Circuits.

Michelle Aluf-Medina, Avraham Raviv, Himanshu Arora, Till Korten, Hillel Kugler

Proceedings of the IEEE International Symposium on Circuits and Systems, 2023

Prediction and Control of Stochastic Agents Using Formal Methods.

Avraham Raviv, Yuval Gerber, Liri Benzinou, Michelle Aluf-Medina, Hillel Kugler

Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023

2022

D-STEP: Dynamic Spatio-Temporal Pruning.

Avraham Raviv, Yonatan Dinai, Igor Drozdov, Niv Zehngut, Ishay Goldin

Proceedings of the 33rd British Machine Vision Conference 2022, 2022

Layer Folding: Neural Network Depth Reduction using Activation Linearization.

Amir Ben Dror, Niv Zehngut, Avraham Raviv, Evgeny Artyomov, Ran Vitek

Proceedings of the 33rd British Machine Vision Conference 2022, 2022

2021

Layer Folding: Neural Network Depth Reduction using Activation Linearization.

Amir Ben Dror, Niv Zehngut, Avraham Raviv, Evgeny Artyomov, Ran Vitek, Roy J. Jevnisek

CoRR, 2021

Formal Semantics and Verification of Network-Based Biocomputation Circuits.

Michelle Aluf-Medina, Till Korten, Avraham Raviv, Dan V. Nicolau Jr., Hillel Kugler

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021