Omri Isac
Publications
Towards a Certified Proof Checker for Deep Neural Network Verification
R. Desmartin, O. Isac, G. Passmore, K. Stark, G. Katz and E. Komendantskaya
Proc. 33rd Int. Symposium on Logic-based Program Synthesis and Transformation (LOPSTR), October 2023
DNN Verification, Reachability, and the Exponential Function Problem
O. Isac, Y. Zohar, C. Barrett and G. Katz
Proc. 34th Int. Conf. on Concurrency Theory (CONCUR), September 2023
[PDF]
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
M. Casadio, L. Arnaboldi, M. L. Daggitt, O. Isac, T. Dinkar, D. Kienitz, V. Rieser and E. Komendantskaya
Proc. 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), July 2023
Neural Network Verification with Proof Production
O. Isac, C. Barrett, M. Zhang and G. Katz
Proc. 22nd Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD), pp. 38-48
Trento, Italy, October 2022
[PDF]