Login / Signup
Avraham Raviv
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 6
Top Topics
Depth Ordering
Single Layer
Formal Verification
Model Checking
Top Venues
BMVC
VMCAI
CoRR
SOFSEM
</>
Publications
</>
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)