Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach
Covariant Compositional Networks For Learning Graphs