Copertina

IFDNS: An Iterative Feedback-Driven Neuro-Symbolic Method for Faithful Logical Reasoning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Xiaoheng, Liu, Tongxuan, Gong, Zi, Dong, Xianzhe, Zeng, Yuting, Hu, Minhan, Huang, Weizhe, Li, Jing
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models
di: Liu, Tongxuan, et al.
Pubblicazione: (2024)

FoPru: Focal Pruning for Efficient Large Vision-Language Models
di: Jiang, Lei, et al.
Pubblicazione: (2024)

From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation
di: Li, Qingchuan, et al.
Pubblicazione: (2025)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
di: Wu, Yanrui, et al.
Pubblicazione: (2026)

GroupDebate: Enhancing the Efficiency of Multi-Agent Debate Using Group Discussion
di: Liu, Tongxuan, et al.
Pubblicazione: (2024)

S$^2$-MAD: Breaking the Token Barrier to Enhance Multi-Agent Debate Efficiency
di: Zeng, Yuting, et al.
Pubblicazione: (2025)

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

Is VLA Reasoning Faithful? Probing Safety of Chain-of-Causation in Autonomous Driving Models
di: Mayumu, Nicanor, et al.
Pubblicazione: (2026)

TARAC: Mitigating Hallucination in LVLMs via Temporal Attention Real-time Accumulative Connection
di: Jiang, Lei, et al.
Pubblicazione: (2025)

PROSERVE: Unified Multi-Priority Request Scheduling for LLM Serving
di: Huang, Weizhe, et al.
Pubblicazione: (2025)

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

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

Compositional Neuro-Symbolic Reasoning
di: Das, Anugyan, et al.
Pubblicazione: (2026)

Matrix as Plan: Structured Logical Reasoning with Feedback-Driven Replanning
di: Chen, Ke, et al.
Pubblicazione: (2026)

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

Lyria: A Genetic Algorithm-Driven Neuro-Symbolic Reasoning Framework for LLMs
di: Tang, Weizhi, et al.
Pubblicazione: (2025)

Are LLMs Stable Formal Logic Translators in Logical Reasoning Across Linguistically Diversified Texts?
di: Li, Qingchuan, et al.
Pubblicazione: (2025)

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

Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection
di: Hu, Wen-Chao, et al.
Pubblicazione: (2024)

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

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
di: Quan, Xin, et al.
Pubblicazione: (2025)

Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
di: Zhang, Xuan, et al.
Pubblicazione: (2025)

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

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

Neuro-Symbolic Spatial Reasoning in Segmentation
di: Lin, Jiayi, et al.
Pubblicazione: (2025)

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

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

NeSyGeo: A Neuro-Symbolic Framework for Multimodal Geometric Reasoning Data Generation
di: Wu, Weiming, et al.
Pubblicazione: (2025)

Lifting Traces to Logic: Programmatic Skill Induction with Neuro-Symbolic Learning for Long-Horizon Agentic Tasks
di: Shao, Jie-Jing, et al.
Pubblicazione: (2026)

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

The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning
di: Cunnington, Daniel, et al.
Pubblicazione: (2024)

Iterative Reasoning Preference Optimization
di: Pang, Richard Yuanzhe, et al.
Pubblicazione: (2024)

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
di: Marconato, Emanuele, et al.
Pubblicazione: (2025)

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

Reliable Classroom AI via Neuro-Symbolic Multimodal Reasoning
di: Nezhad, Sina Bagheri
Pubblicazione: (2026)

Sandra -- A Neuro-Symbolic Reasoner Based On Descriptions And Situations
di: Lazzari, Nicolas, et al.
Pubblicazione: (2024)

A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data
di: Pojer, Raffaele, et al.
Pubblicazione: (2025)

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

LogicLens: Visual-Logical Co-Reasoning for Text-Centric Forgery Analysis
di: Zeng, Fanwei, et al.
Pubblicazione: (2025)