Formal specification for deep neural networks

DOI10.1007/978-3-030-01090-4_2zbMath1517.68345MaRDI QIDQ6109579

Marcell Vazquez-Chanlatte, Edward D. Kim, Sumukh Shivakumar, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Sanjit A. Seshia, Daniel J. Fremont, Ankush Desai

Publication date: 28 July 2023

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://escholarship.org/uc/item/3h97c8wb

Mathematics Subject Classification ID

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

Related Items (6)

Robustness verification of semantic segmentation neural networks using relaxed reachability ⋮ A survey of model learning techniques for recurrent neural networks ⋮ Towards a unifying logical framework for neural networks ⋮ Verifying feedforward neural networks for classification in Isabelle/HOL ⋮ On satisficing in quantitative games ⋮ Compositional falsification of cyber-physical systems with machine learning components

This page was built for publication: Formal specification for deep neural networks