C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Elazar Cohen
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Complex Queries
Neural Network
Reasoning Mechanisms
Rule Based Reasoning
Top Venues
CoRR
SEFM
LPAR
</>
Publications
</>
Elazar Cohen
,
Yizhak Yisrael Elboher
,
Clark W. Barrett
,
Guy Katz
Tighter Abstract Queries in Neural Network Verification.
LPAR
(2023)
Elazar Cohen
,
Yizhak Yisrael Elboher
,
Clark W. Barrett
,
Guy Katz
Tighter Abstract Queries in Neural Network Verification.
CoRR
(2022)
Yizhak Yisrael Elboher
,
Elazar Cohen
,
Guy Katz
Neural Network Verification using Residual Reasoning.
CoRR
(2022)
Yizhak Yisrael Elboher
,
Elazar Cohen
,
Guy Katz
Neural Network Verification Using Residual Reasoning.
SEFM
(2022)