2 papers
cs.AI2025
Neurosymbolic Decision Trees
Matthias Möller, Arvid Norlander, Pedro Zuidberg Dos Martires +1
Neurosymbolic (NeSy) AI studies the integration of neural networks (NNs) and symbolic reasoning based on logic. Usually, NeSy techniques focus on learning the neural, probabilistic…
cs.AI2024
A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic
Lennert De Smet, Pedro Zuidberg Dos Martires
As illustrated by the success of integer linear programming, linear integer arithmetic is a powerful tool for modelling combinatorial problems. Furthermore, the probabilistic exten…