Image de couverture de livre

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Jiao, Ying, Ontiveros, Rodrigo Castellano, De Raedt, Luc, Gori, Marco, Giannini, Francesco, Diligenti, Michelangelo, Marra, Giuseppe
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Grounding Methods for Neural-Symbolic AI
par: Ontiveros, Rodrigo Castellano, et autres
Publié: (2025)

Valid Text-to-SQL Generation with Unification-based DeepStochLog
par: Jiao, Ying, et autres
Publié: (2025)

Relational Reasoning Networks
par: Marra, Giuseppe, et autres
Publié: (2021)

Multitask Kernel-based Learning with Logic Constraints
par: Diligenti, Michelangelo, et autres
Publié: (2024)

DeepGraphLog for Layered Neurosymbolic AI
par: Kikaj, Adem, et autres
Publié: (2025)

Relational Concept Bottleneck Models
par: Barbiero, Pietro, et autres
Publié: (2023)

Multitask Kernel-based Learning with First-Order Logic Constraints
par: Diligenti, Michelangelo, et autres
Publié: (2023)

Explainable Malware Detection with Tailored Logic Explained Networks
par: Anthony, Peter, et autres
Publié: (2024)

The DeepLog Neurosymbolic Machine
par: Derkinderen, Vincent, et autres
Publié: (2025)

Interpretable Concept-Based Memory Reasoning
par: Debot, David, et autres
Publié: (2024)

DeepLog: A Software Framework for Modular Neurosymbolic AI
par: Manhaeve, Robin, et autres
Publié: (2026)

Neural Interpretable Reasoning
par: Barbiero, Pietro, et autres
Publié: (2025)

From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
par: Marra, Giuseppe, et autres
Publié: (2021)

Relational Neurosymbolic Markov Models
par: De Smet, Lennert, et autres
Publié: (2024)

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
par: Martires, Pedro Zuidberg Dos, et autres
Publié: (2023)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
par: Derkinderen, Vincent, et autres
Publié: (2024)

EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
par: Verreet, Victor, et autres
Publié: (2024)

The Gradient of Algebraic Model Counting
par: Maene, Jaron, et autres
Publié: (2025)

Mixture of Concept Bottleneck Experts
par: De Santis, Francesco, et autres
Publié: (2026)

Defining neurosymbolic AI
par: De Smet, Lennert, et autres
Publié: (2025)

On the Hardness of Probabilistic Neurosymbolic Learning
par: Maene, Jaron, et autres
Publié: (2024)

NeSyA: Neurosymbolic Automata
par: Manginas, Nikolaos, et autres
Publié: (2024)

Proof and Proving in Mathematics Education
Publié: (2021)

Patients' Experiences of Non‐Mutual Psychotherapy Termination: A Qualitative Content Analysis
par: Lorenzo Antichi, et autres
Publié: (2025)

Viviendas sociales: Lisboa/Porto Alegre. Tiempo, espacio y participación popular
par: Marcos Pereira Diligenti
Publié: (2016)

CLEVR-POC: Reasoning-Intensive Visual Question Answering in Partially Observable Environments
par: Abraham, Savitha Sam, et autres
Publié: (2024)

Event-by-Event Simulation of Quantum Phenomena
par: H. De Raedt
Publié: (2008)

Counterfactual Concept Bottleneck Models
par: Dominici, Gabriele, et autres
Publié: (2024)

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
par: Liu, Haoxiong, et autres
Publié: (2025)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
par: Dardinier, Thibault, et autres
Publié: (2023)

Nowcasting Italian Municipal Income with Nightlights: A Deep Learning Approach
par: Giannini, Massimo
Publié: (2026)

A Survey on Deep Learning for Theorem Proving
par: Li, Zhaoyu, et autres
Publié: (2024)

SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge
par: Hazra, Rishi, et autres
Publié: (2023)

Sufficient Incorrectness Logic: SIL and Separation SIL
par: Ascari, Flavio, et autres
Publié: (2023)

Stochastic Scaling Limits and Synchronization by Noise in Deep Transformer Models
par: Agazzi, Andrea, et autres
Publié: (2026)

DeepDFA: Injecting Temporal Logic in Deep Learning for Sequential Subsymbolic Applications
par: Umili, Elena, et autres
Publié: (2026)

On Modular Termination Proofs of General Logic Programs
par: Bossi, Annalisa, et autres
Publié: (2000)

Local-to-Global Logical Explanations for Deep Vision Models
par: Vasu, Bhavan, et autres
Publié: (2026)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
par: Chen, Luoxin, et autres
Publié: (2025)

Interpretability in Deep Time Series Models Demands Semantic Alignment
par: De Felice, Giovanni, et autres
Publié: (2026)