A Formal Proof of the Expressiveness of Deep Learning - Journal of Automated Reasoning

Open in new window