External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards a Unifying Logical Framework for Neural Networks

Xiyue Zhang, Xiaohong Chen, Meng Sun. Towards a Unifying Logical Framework for Neural Networks. In Helmut Seidl, Zhiming Liu 0001, Corina S. Pasareanu, editors, Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings. Volume 13572 of Lecture Notes in Computer Science, pages 442-461, Springer, 2022. [doi]

Authors

Xiyue Zhang

This author has not been identified. Look up 'Xiyue Zhang' in Google

Xiaohong Chen

This author has not been identified. Look up 'Xiaohong Chen' in Google

Meng Sun

This author has not been identified. Look up 'Meng Sun' in Google
runs on