Luc De Raedt

This study assesses LLM reasoning skills using the challenging 3-SAT problem.

EXAL improves learning and reasoning in neuro-symbolic AI systems efficiently.

NeSyA combines neural networks with symbolic reasoning for smarter AI.

Relational neurosymbolic Markov models improve AI learning and reasoning capabilities.