I agree that this site is using cookies. You can find further informations here.
X
Isac, Omri
10  results:
Search for persons X
?
1

Towards a Certified Proof Checker for Deep Neural Network V..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Desmartin, Remi ; Isac, Omri ; Passmore, Grant... - p. 198-209 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Neural Network Verification with Proof Production:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Isac, Omri ; Barrett, Clark ; Zhang, Min. - p. 38-48 , 2022
Link: https://doi.org/10.34727..
 
?
3

Software Verification and Formal Methods for ML-Enabled Aut.. 

Lecture Notes in Computer Science, 13466
Isac, Omri ; Ivanov, Radoslav ; Katz, Guy.. - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
4

Robustness Assessment of a Runway Object Classifier for Saf..:

Elboher, Yizhak ; Elsaleh, Raya ; Isac, Omri...
http://arxiv.org/abs/2402.00035.  , 2024
Link: http://arxiv.org/abs/240..
 
?
5

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks:

Wu, Haoze ; Isac, Omri ; Zeljić, Aleksandar...
http://arxiv.org/abs/2401.14461.  , 2024
Link: http://arxiv.org/abs/240..
 
?
6

DNN Verification, Reachability, and the Exponential Functio..:

Isac, Omri ; Zohar, Yoni ; Barrett, Clark.
http://arxiv.org/abs/2305.06064.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

Towards a Certified Proof Checker for Deep Neural Network V..:

Desmartin, Remi ; Isac, Omri ; Passmore, Grant...
http://arxiv.org/abs/2307.06299.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

ANTONIO: Towards a Systematic Method of Generating NLP Benc..:

Casadio, Marco ; Arnaboldi, Luca ; Daggitt, Matthew L...
http://arxiv.org/abs/2305.04003.  , 2023
Link: http://arxiv.org/abs/230..
 
?
9

DNN Verification, Reachability, and the Exponential Functio..:

Isac, Omri ; Zohar, Yoni ; Barrett, Clark.
doi:10.4230/LIPIcs.CONCUR.2023.26.  , 2023
Link: https://doi.org/10.4230/..
 
?
10

Neural Network Verification with Proof Production:

Isac, Omri ; Barrett, Clark ; Zhang, Min.
http://arxiv.org/abs/2206.00512.  , 2022
Link: http://arxiv.org/abs/220..
 
1-10