4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.AI2025★ 4 cited
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,…
cs.LO2024
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…