@inproceedings{b92b5c8d97f2469d98a0894a2531484a,
title = "Towards a Unifying Logical Framework for Neural Networks",
keywords = "Formal specifications, Matching logic, Neural networks",
author = "Xiyue Zhang and Xiaohong Chen and Meng Sun",
note = "Funding Information: This research was sponsored by the National Natural Science Foundation of China under Grant No. 62172019, 61772038, and CCF-Huawei Formal Verification Innovation Research Plan. The work presented in this paper was supported in part by NSF CNS 16-19275. This material is based upon work supported by the United States Air Force and DARPA under Contract No. FA8750-18-C-0092. Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 ; Conference date: 27-09-2022 Through 29-09-2022",
year = "2022",
doi = "10.1007/978-3-031-17715-6_28",
language = "English",
isbn = "9783031177149",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "442--461",
editor = "Helmut Seidl and Zhiming Liu and Pasareanu, {Corina S.}",
booktitle = "Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings",
}