Towards a Unifying Logical Framework for Neural Networks

Published in Proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, 2022

Recommended citation: Xiyue Zhang, Xiaohong Chen, Meng Sun. "Towards a Unifying Logical Framework for Neural Networks." Proceedings of the 19th International Colloquium on Theoretical Aspects of Computings. ICTAC 2022. https://link.springer.com/chapter/10.1007/978-3-031-17715-6_28