2024
LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
ICLR 2024poster
Integrating first-order logic constraints (FOLCs) with neural networks is a crucial but challenging problem since it involves modeling intricate correlations to satisfy the constraints. This paper proposes a novel neural layer, LogicMP, which performs mean-field variational inference over a Markov L…