2 papers
cs.AI2026
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…
cs.CL2025
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…