top of page


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

[arXiv preprint]

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

[arXiv preprint]

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


bottom of page