Categorical Construction of Logically Verifiable Neural Architectures

Open in new window