Augmenting Neural Networks with First-order Logic

Open in new window