Copertina

On Scaling Neurosymbolic Programming through Guided Logical Inference

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Valentin, Thomas Jean-Michel, Werner, Luisa Sophie, Genevès, Pierre, Layaïda, Nabil
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers
di: Fejza, Amela, et al.
Pubblicazione: (2023)

Distributed Evaluation of Graph Queries using Recursive Relational Algebra
di: Chlyah, Sarah, et al.
Pubblicazione: (2021)

Schema-Based Query Optimisation for Graph Databases
di: Sharma, Chandan, et al.
Pubblicazione: (2024)

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
di: Hillerstrom, Fieke, et al.
Pubblicazione: (2024)

Optimizing Relational Queries over Array-Valued Data in Columnar Systems
di: Zeblah, Maroua, et al.
Pubblicazione: (2026)

Neurosymbolic Learning for Inference-Time Argumentation
di: Freedman, Gabriel, et al.
Pubblicazione: (2026)

Toward Neurosymbolic Program Comprehension
di: Velasco, Alejandro, et al.
Pubblicazione: (2025)

IID Relaxation by Logical Expressivity: A Research Agenda for Fitting Logics to Neurosymbolic Requirements
di: Stol, Maarten C., et al.
Pubblicazione: (2024)

Neurosymbolic Methods for Dynamic Knowledge Graphs
di: Alam, Mehwish, et al.
Pubblicazione: (2024)

On LLM-generated Logic Programs and their Inference Execution Methods
di: Tarau, Paul
Pubblicazione: (2025)

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
di: Olausson, Theo X., et al.
Pubblicazione: (2023)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
di: Bizzaro, Davide, et al.
Pubblicazione: (2025)

From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement
di: Haufe, Cedric, et al.
Pubblicazione: (2026)

The DeepLog Neurosymbolic Machine
di: Derkinderen, Vincent, et al.
Pubblicazione: (2025)

Neurosymbolic Deep Learning Semantics
di: Garcez, Artur d'Avila, et al.
Pubblicazione: (2025)

Independence Is Not an Issue in Neurosymbolic AI
di: Faronius, Håkan Karlsson, et al.
Pubblicazione: (2025)

Neurosymbolic Methods for Rule Mining
di: Lawrynowicz, Agnieszka, et al.
Pubblicazione: (2024)

Logic-Guided Multistage Inference for Explainable Multidefendant Judgment Prediction
di: Zhang, Xu, et al.
Pubblicazione: (2026)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
di: Chen, Michael K.
Pubblicazione: (2025)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
di: Bednarek, Jakub, et al.
Pubblicazione: (2024)

Neurosymbolic Conformal Classification
di: Ledaguenel, Arthur, et al.
Pubblicazione: (2024)

Neurosymbolic Framework for Concept-Driven Logical Reasoning in Skeleton-Based Human Action Recognition
di: Ilyas, Talha, et al.
Pubblicazione: (2026)

T-ILR: a Neurosymbolic Integration for LTLf
di: Andreoni, Riccardo, et al.
Pubblicazione: (2025)

VERAFI: Verified Agentic Financial Intelligence through Neurosymbolic Policy Generation
di: Akinfaderin, Adewale, et al.
Pubblicazione: (2025)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
di: Quansah, Paapa Kwesi, et al.
Pubblicazione: (2026)

Reasoning in Neurosymbolic AI
di: Tran, Son, et al.
Pubblicazione: (2025)

Towards Unified Neurosymbolic Reasoning on Knowledge Graphs
di: Lin, Qika, et al.
Pubblicazione: (2025)

DeepGraphLog for Layered Neurosymbolic AI
di: Kikaj, Adem, et al.
Pubblicazione: (2025)

Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
di: Oh, Hyunseok, et al.
Pubblicazione: (2026)

Sample-Efficient Neurosymbolic Deep Reinforcement Learning
di: Veronese, Celeste, et al.
Pubblicazione: (2026)

TEN: Table Explicitization, Neurosymbolically
di: Mehrotra, Nikita, et al.
Pubblicazione: (2025)

Relational Neurosymbolic Markov Models
di: De Smet, Lennert, et al.
Pubblicazione: (2024)

Optimisation in Neurosymbolic Learning Systems
di: van Krieken, Emile
Pubblicazione: (2024)

On the Independence Assumption in Neurosymbolic Learning
di: van Krieken, Emile, et al.
Pubblicazione: (2024)

Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
di: Biberstein, Paul, et al.
Pubblicazione: (2025)

Inference of Abstraction for Grounded Predicate Logic
di: Kido, Hiroyuki
Pubblicazione: (2025)

Interpretable end-to-end Neurosymbolic Reinforcement Learning agents
di: Grandien, Nils, et al.
Pubblicazione: (2024)

Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning
di: Takemura, Akihiro, et al.
Pubblicazione: (2026)

Metacognitive AI: Framework and the Case for a Neurosymbolic Approach
di: Wei, Hua, et al.
Pubblicazione: (2024)

ChaosBench-Logic v2: Evaluating LLM Logical Reasoning over Dynamical Systems at Scale
di: Thomas, Noel
Pubblicazione: (2026)