Fetching the paper…

Augmenting Neural Networks with First-order Logic · Around