Avraham Raviv

According to our database, Avraham Raviv authored at least 8 papers between 2021 and 2024.

Collaborative distances:

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

2024

Formal Verification of Object Detection.

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

CoRR, 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