Towards a Certified Proof Checker for Deep Neural Network Verification
Attributed to:
AISEC: AI Secure and Explainable by Construction
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-45784-5_13
Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85175806265
Type: Book Chapter
Book Title: Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (2023)
Page Reference: 198-209