Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool