conftrace_

differentiable satisfiability

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural network (2) constraint satisfaction (2) differentiable solver (1) symmetry exploitation (1) neural network layer (1) marginal distribution (1) sinkhorn algorithm (1) rule learning (1) logical reasoning (1) graph matching (1)

Papers

LinSATNet: The Positive Linear Satisfiability Neural Networks ICML 2023 Learning Symmetric Rules with SATNet NeurIPS 2022