Formal verification for quantized neural networks

DOI10.33039/AMI.2023.04.003OpenAlexW4384787446MaRDI QIDQ6086539

Unnamed Author, Gergely Kovásznai, Unnamed Author

Publication date: 12 December 2023

Published in: Annales Mathematicae et Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.33039/ami.2023.04.003

zbMATH Keywords

neural networkartificial intelligenceformal verificationConstraint programmingSATSMTPythondeep learningKeras

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Formal verification for quantized neural networks