Dario Guidotti, Laura Pandolfo, Luca Pulina. Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report. In 35th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2023, Atlanta, GA, USA, November 6-8, 2023. pages 423-428, IEEE, 2023. [doi]
Abstract is missing.