1 citations · 2 across the 9 of their papers we have counts for
4 papers · 1 filter
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…
The DeepLog Neurosymbolic Machine
Vincent Derkinderen, Robin Manhaeve, Rik Adriaensen +4
We contribute a theoretical and operational framework for neurosymbolic AI called DeepLog. DeepLog introduces building blocks and primitives for neurosymbolic AI that make abstract…
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…