Avraham Raviv

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

Formal Verification

Logical Reasoning

Top Venues

Publications

Avraham Raviv, Yizhak Y. Elboher, Michelle Aluf-Medina, Yael Leibovich Weiss, Omer Cohen, Roy Assa, Guy Katz, Hillel Kugler
Formal Verification of Object Detection. CoRR (2024)
Avraham Raviv, Yuval Gerber, Liri Benzinou, Michelle Aluf-Medina, Hillel Kugler
Prediction and Control of Stochastic Agents Using Formal Methods. FoMLAS@CAV (2023)
Avraham Raviv, Eliya Bronshtein, Or Reginiano, Michelle Aluf-Medina, Hillel Kugler
Learning Through Imitation by Using Formal Verification. SOFSEM (2023)
Michelle Aluf-Medina, Avraham Raviv, Himanshu Arora, Till Korten, Hillel Kugler
Simulation and Verification of Network-Based Biocomputation Circuits. ISCAS (2023)
Avraham Raviv, Yonatan Dinai, Igor Drozdov, Niv Zehngut, Ishay Goldin
D-STEP: Dynamic Spatio-Temporal Pruning. BMVC (2022)
Amir Ben Dror, Niv Zehngut, Avraham Raviv, Evgeny Artyomov, Ran Vitek
Layer Folding: Neural Network Depth Reduction using Activation Linearization. BMVC (2022)
Amir Ben Dror, Niv Zehngut, Avraham Raviv, Evgeny Artyomov, Ran Vitek, Roy J. Jevnisek
Layer Folding: Neural Network Depth Reduction using Activation Linearization. CoRR (2021)
Michelle Aluf-Medina, Till Korten, Avraham Raviv, Dan V. Nicolau Jr., Hillel Kugler
Formal Semantics and Verification of Network-Based Biocomputation Circuits. VMCAI (2021)