4 citations · 4 across the 4 of their papers we have counts for
4 papers
VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning
Benjamin Callewaert, Simon Vandevelde, Joost Vennekens
A recent approach to neurosymbolic reasoning is to explicitly combine the strengths of large language models (LLMs) and symbolic solvers to tackle complex reasoning tasks. However,…
Enhancing Computer Vision with Knowledge: a Rummikub Case Study
Simon Vandevelde, Laurent Mertens, Sverre Lauwers +1
Artificial Neural Networks excel at identifying individual components in an image. However, out-of-the-box, they do not manage to correctly integrate and interpret these components…
Efficiently grounding FOL using bit vectors
Lucas Van Laer, Simon Vandevelde, Joost Vennekens
Several paradigms for declarative problem solving start from a specification in a high-level language, which is then transformed to a low-level language, such as SAT or SMT. Often,…
Answer Set Programming for Flexible Payroll Management
Benjamin Callewaert, Joost Vennekens
Payroll management is a critical business task that is subject to a large number of rules, which vary widely between companies, sectors, and countries. Moreover, the rules are ofte…