Cover Image

Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xu, Yang, Liu, Jun, Chen, Shuwei, Nugent, Chris, Guo, Hailing
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
by: Xu, Yang, et al.
Published: (2025)

Contradictions
by: Xu, Yang, et al.
Published: (2025)

Neuro-symbolic AI for Predictive Maintenance (PdM) -- review and recommendations
by: Hamilton, Kyle, et al.
Published: (2026)

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams
by: Proost, Cas, et al.
Published: (2026)

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
by: Qureshi, Haya Majid, et al.
Published: (2024)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
by: Rehan, Zainab, et al.
Published: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
by: Defresne, Marianne, et al.
Published: (2025)

Can LLM Aid in Solving Constraints with Inductive Definitions?
by: Feng, Weizhi, et al.
Published: (2026)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
by: Qureshi, Haya Majid, et al.
Published: (2025)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
by: Sharifi, Iman, et al.
Published: (2026)

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review
by: Ciatto, Giovanni, et al.
Published: (2025)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
by: Baugh, Kexin Gu, et al.
Published: (2025)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
by: Zhang, Xinglang, et al.
Published: (2026)

Vibe Coding an LLM-powered Theorem Prover
by: Hou, Zhe
Published: (2026)

Recursive querying of neural networks via weighted structures
by: Grohe, Martin, et al.
Published: (2026)

Where to Search: Measure the Prior-Structured Search Space of LLM Agents
by: Song, Zhuo-Yang
Published: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
by: Ospanov, Azim, et al.
Published: (2025)

Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm
by: Xu, Yang, et al.
Published: (2025)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
by: Rashid, Adnan
Published: (2026)

Logic Synthesis with Generative Deep Neural Networks
by: Li, Xihan, et al.
Published: (2024)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
by: Pan, Yudai, et al.
Published: (2021)

Large Language Model for OWL Proofs
by: Yang, Hui, et al.
Published: (2026)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
by: Ramani, Keshav, et al.
Published: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
by: Bonanno, Giacomo
Published: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, et al.
Published: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
by: Joyce, Johnny
Published: (2025)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

Similarity-based analogical proportions
by: Antić, Christian
Published: (2024)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
by: Miya, Shinobu
Published: (2025)

RvLLM: LLM Runtime Verification with Domain Knowledge
by: Zhang, Yedi, et al.
Published: (2025)

Neural logic programs and neural nets
by: Antić, Christian
Published: (2024)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
by: Xu, Jianfeng
Published: (2025)

Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping
by: Liu, Chanjuan, et al.
Published: (2024)

Source-level reasoning for quantitative information flow
by: Chen, Chris, et al.
Published: (2024)

Unifying approach to uniform expressivity of graph neural networks
by: Luo, Huan, et al.
Published: (2026)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
by: Aria, Hadi Partovi, et al.
Published: (2026)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
by: Wang, Ruolin, et al.
Published: (2024)

Diminution: On Reducing the Size of Grounding ASP Programs
by: Yang, HuanYu, et al.
Published: (2025)