4 papers
DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
Ying Jiao, Rodrigo Castellano Ontiveros, Luc De Raedt +4
Neurosymbolic (NeSy) AI aims to combine the strengths of neural architectures and symbolic reasoning to improve the accuracy, interpretability, and generalization capability of AI…
DeepGraphLog for Layered Neurosymbolic AI
Adem Kikaj, Giuseppe Marra, Floris Geerts +2
Neurosymbolic AI (NeSy) aims to integrate the statistical strengths of neural networks with the interpretability and structure of symbolic reasoning. However, current NeSy framewor…
Valid Text-to-SQL Generation with Unification-based DeepStochLog
Ying Jiao, Luc De Raedt, Giuseppe Marra
Large language models have been used to translate natural language questions to SQL queries. Without hard constraints on syntax and database schema, they occasionally produce inval…
Relational Neurosymbolic Markov Models
Lennert De Smet, Gabriele Venturato, Luc De Raedt +1
Sequential problems are ubiquitous in AI, such as in reinforcement learning or natural language processing. State-of-the-art deep sequential models, like transformers, excel in the…