Avraham Raviv

According to our database, Avraham Raviv authored at least 6 papers between 2021 and 2023.

Collaborative distances:

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

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

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