Last released Dec 12, 2020
Bridging deep learning and logical reasoning using a differentiable satisfiability solver
Last released Dec 11, 2020
SDP-based clustering by maximum modularity
Last released Dec 1, 2020
SDP-based inference for Markov random field (MRF)
Supported by