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

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