On Scaling Neurosymbolic Programming through Guided Logical Inference

Thomas Jean-Michel Valentin, Luisa Sophie Werner, Pierre Genevès +1

Probabilistic neurosymbolic learning seeks to integrate neural networks with symbolic programming. Many state-of-the-art systems rely on a reduction to the Probabilistic Weighted M…