conftrace_

rule verification

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

logical rule learning (1) weighted maxsat formula (1) controllable rule (1) rule encoder (1) weighted formula (1) differentiable maxsat solver (1) rule representation (1) logical rule (1) maxsat solver (1) propositional logic (1)

Papers

Learning Reliable Logical Rules with SATNet NeurIPS 2023 Controlling Neural Networks with Rule Representations NeurIPS 2021