Towards a Unifying Logical Framework for Neural Networks

Xiyue Zhang; Xiaohong Chen; Meng Sun

doi:10.1007/978-3-031-17715-6_28

Towards a Unifying Logical Framework for Neural Networks

Xiyue Zhang
, Xiaohong Chen
, Meng Sun^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings
Editors	Helmut Seidl, Zhiming Liu, Corina S. Pasareanu
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	442-461
Number of pages	20
ISBN (Print)	9783031177149
DOIs	https://doi.org/10.1007/978-3-031-17715-6_28
Publication status	Published (VoR) - 2022
Event	19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 - Tbilisi, Georgia Duration: 27 Sept 2022 → 29 Sept 2022

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13572 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022
Country/Territory	Georgia
City	Tbilisi
Period	27/09/22 → 29/09/22

Funding

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.

Keywords

Formal specifications
Matching logic
Neural networks

Access to Document

10.1007/978-3-031-17715-6_28

Cite this

Zhang, X., Chen, X., & Sun, M. (2022). Towards a Unifying Logical Framework for Neural Networks. In H. Seidl, Z. Liu, & C. S. Pasareanu (Eds.), Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings (pp. 442-461). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13572 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-17715-6_28

Zhang, Xiyue ; Chen, Xiaohong ; Sun, Meng. / Towards a Unifying Logical Framework for Neural Networks. Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. editor / Helmut Seidl ; Zhiming Liu ; Corina S. Pasareanu. Springer Science and Business Media Deutschland GmbH, 2022. pp. 442-461 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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",

}

Zhang, X, Chen, X & Sun, M 2022, Towards a Unifying Logical Framework for Neural Networks. in H Seidl, Z Liu & CS Pasareanu (eds), Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13572 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 442-461, 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, Tbilisi, Georgia, 27/09/22. https://doi.org/10.1007/978-3-031-17715-6_28

Towards a Unifying Logical Framework for Neural Networks. / Zhang, Xiyue; Chen, Xiaohong; Sun, Meng.
Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. ed. / Helmut Seidl; Zhiming Liu; Corina S. Pasareanu. Springer Science and Business Media Deutschland GmbH, 2022. p. 442-461 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13572 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Towards a Unifying Logical Framework for Neural Networks

AU - Zhang, Xiyue

AU - Chen, Xiaohong

AU - Sun, Meng

N1 - 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: © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

PY - 2022

Y1 - 2022

KW - Formal specifications

KW - Matching logic

KW - Neural networks

UR - https://www.scopus.com/pages/publications/85140710400

UR - https://www.scopus.com/pages/publications/85140710400#tab=citedBy

U2 - 10.1007/978-3-031-17715-6_28

DO - 10.1007/978-3-031-17715-6_28

M3 - Conference contribution

AN - SCOPUS:85140710400

SN - 9783031177149

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 442

EP - 461

BT - Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings

A2 - Seidl, Helmut

A2 - Liu, Zhiming

A2 - Pasareanu, Corina S.

PB - Springer Science and Business Media Deutschland GmbH

T2 - 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022

Y2 - 27 September 2022 through 29 September 2022

ER -

Zhang X, Chen X, Sun M. Towards a Unifying Logical Framework for Neural Networks. In Seidl H, Liu Z, Pasareanu CS, editors, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Springer Science and Business Media Deutschland GmbH. 2022. p. 442-461. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-17715-6_28