Training Logical Neural Networks by Primal–Dual Methods for Neuro-Symbolic Reasoning | IEEE Conference Publication | IEEE Xplore