Cover Image

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wu, Yanrui, Zhang, Lingling, Zhang, Xinyu, Chang, Jiayu, Li, Pengyu, Jiang, Xu, Hu, Jingtao, Liu, Jun
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
by: Flinkow, Thomas, et al.
Published: (2026)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
by: Farjami, Ali, et al.
Published: (2026)

Neuro-Symbolic AI: Integrating Deep Learning with Symbolic Logic for Enhanced Reasoning
by: Annual Methodological Archive Research Review
Published: (2026)

Modeling Endogenous Logic: Causal Neuro-Symbolic Reasoning Model for Explainable Multi-Behavior Recommendation
by: Chen, Yuzhe, et al.
Published: (2026)

IFDNS: An Iterative Feedback-Driven Neuro-Symbolic Method for Faithful Logical Reasoning
by: Wang, Xiaoheng, et al.
Published: (2026)

REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence
by: Wan, Zishen, et al.
Published: (2026)

PhysReason: A Comprehensive Benchmark towards Physics-Based Reasoning
by: Zhang, Xinyu, et al.
Published: (2025)

A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic
by: Cotnareanu, Joseph, et al.
Published: (2026)

Simple Augmentations of Logical Rules for Neuro-Symbolic Knowledge Graph Completion
by: Nandi, Ananjan, et al.
Published: (2024)

Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
by: Bonin, Lorenzo, et al.
Published: (2026)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
by: Derkinderen, Vincent, et al.
Published: (2024)

Logically Consistent Language Models via Neuro-Symbolic Integration
by: Calanzone, Diego, et al.
Published: (2024)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
by: Lin, Hongyu, et al.
Published: (2026)

ChaosBench-Logic: A Benchmark for Logical and Symbolic Reasoning on Chaotic Dynamical Systems
by: Thomas, Noel
Published: (2026)

Faithful Logical Reasoning via Symbolic Chain-of-Thought
by: Xu, Jundong, et al.
Published: (2024)

A Closer Look at the Self-Verification Abilities of Large Language Models in Logical Reasoning
by: Hong, Ruixin, et al.
Published: (2023)

NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning
by: Cai, Zhixi, et al.
Published: (2025)

PathReasoner: Modeling Reasoning Path with Equivalent Extension for Logical Question Answering
by: Xu, Fangzhi, et al.
Published: (2024)

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
by: Liu, Junteng, et al.
Published: (2025)

MuSLR: Multimodal Symbolic Logical Reasoning
by: Xu, Jundong, et al.
Published: (2025)

Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
by: Lee, Yeonseok
Published: (2026)

Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic
by: Yuasa, Mikihisa, et al.
Published: (2025)

MultiZebraLogic: A Multilingual Logical Reasoning Benchmark
by: Bruun, Sofie Helene, et al.
Published: (2025)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
by: He, Haoyuan, et al.
Published: (2022)

NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning
by: Shah, Sahil, et al.
Published: (2025)

Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
by: Xu, Lei, et al.
Published: (2025)

LogicEnvGen: Task-Logic Driven Generation of Diverse Simulated Environments for Embodied AI
by: Wang, Jianan, et al.
Published: (2026)

Neuro-Logic Lifelong Learning
by: He, Bowen, et al.
Published: (2025)

Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
by: Zhang, Yuanrui
Published: (2024)

MME-Reasoning: A Comprehensive Benchmark for Logical Reasoning in MLLMs
by: Yuan, Jiakang, et al.
Published: (2025)

$\textbf{AGT$^{AO}$}$: Robust and Stabilized LLM Unlearning via Adversarial Gating Training with Adaptive Orthogonality
by: Li, Pengyu, et al.
Published: (2026)

Neuro-Symbolic Verification on Instruction Following of LLMs
by: Su, Yiming, et al.
Published: (2026)

Neuro-Symbolic Data Generation for Math Reasoning
by: Li, Zenan, et al.
Published: (2024)

Human-Inspired Neuro-Symbolic World Modeling and Logic Reasoning for Interpretable Safe UAV Landing Site Assessment
by: Qian, Weixian, et al.
Published: (2025)

GodNode: A Hierarchical Neuro-Symbolic Architecture with Paraconsistent Vector Logic
by: Kurumalla, Venkataramana
Published: (2026)

Neuro-Symbolic Acceleration of MILP Motion Planning with Temporal Logic and Chance Constraints
by: Cai, Junyang, et al.
Published: (2025)

To Neuro-Symbolic Classification and Beyond by Compiling Description Logic Ontologies to Probabilistic Circuits
by: Lazzari, Nicolas, et al.
Published: (2026)

Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models
by: Bortolotti, Samuele, et al.
Published: (2026)

Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach
by: Li, Qingchuan, et al.
Published: (2024)

Logical Grammar Induction via Graph Kolmogorov Complexity: A Neuro-Symbolic Framework for Self-Healing Clinical Data Integrity
by: Zarghani, Abolfazl, et al.
Published: (2026)