Making Logic Learnable With Neural Networks. - Tobias Brudermueller; Dennis L. Shung; Loren Laine; Adrian J. Stanley; Stig B. Laursen; Harry R. Dalton; Jeffrey Ngu; Michael Schultz; Johannes Stegmaier; Smita Krishnaswamy (CoRR, 2020)