A Differentiable Neural Computer for Logic Reasoning with Scalable Near-Memory Computing and Sparsity Based Enhancement | IEEE Conference Publication | IEEE Xplore