Neural Network Verification with Proof Production. O Isac, CW Barrett, M Zhang, G Katz FMCAD, 38-48, 2022 | 15 | 2022 |
Towards a Certified Proof Checker for Deep Neural Network Verification R Desmartin, O Isac, G Passmore, K Stark, E Komendantskaya, G Katz International Symposium on Logic-Based Program Synthesis and Transformation …, 2023 | 4 | 2023 |
DNN verification, reachability, and the exponential function problem O Isac, Y Zohar, C Barrett, G Katz arXiv preprint arXiv:2305.06064, 2023 | 2 | 2023 |
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification M Casadio, L Arnaboldi, ML Daggitt, O Isac, T Dinkar, D Kienitz, V Rieser, ... arXiv preprint arXiv:2305.04003, 2023 | 2 | 2023 |
NLP Verification: Towards a General Methodology for Certifying Robustness M Casadio, T Dinkar, E Komendantskaya, L Arnaboldi, O Isac, ML Daggitt, ... arXiv preprint arXiv:2403.10144, 2024 | | 2024 |
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks H Wu, O Isac, A Zeljić, T Tagomori, M Daggitt, W Kokke, I Refaeli, G Amir, ... arXiv preprint arXiv:2401.14461, 2024 | | 2024 |
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing Y Elboher, R Elsaleh, O Isac, M Ducoffe, A Galametz, G Povéda, ... arXiv preprint arXiv:2402.00035, 2024 | | 2024 |
Software Verification and Formal Methods for ML-enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel … O Isac, R Ivanov, G Katz, N Narodytska, L Nenzi Springer Nature, 2022 | | 2022 |
Software Verification and Formal Methods for ML-Enabled Autonomous Systems O Isac, R Ivanov, G Katz, N Narodytska, L Nenzi LECTURE NOTES IN COMPUTER SCIENCE 13466, 1-205, 2022 | | 2022 |