conftrace_

differentiable maxsat solver

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

logical rule learning (1) weighted maxsat formula (1) rule verification (1) weighted formula (1) differentiable solver (1) symbol grounding (1) logical rule (1) neuro-symbolic system (1) maxsat solver (1) propositional logic (1)

Papers

Learning Reliable Logical Rules with SATNet NeurIPS 2023 Techniques for Symbol Grounding with SATNet NeurIPS 2021