Towards a Unifying Logical Framework for Neural Networks.

Xiyue Zhang, Xiaohong Chen, Meng Sun

Browse the full ICTAC paper archive.