From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Gabriel, Mina, Wang, Pei |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Compositional Neuro-Symbolic Reasoning
par: Das, Anugyan, et autres
Publié: (2026)
par: Das, Anugyan, et autres
Publié: (2026)
Functional Equivalence with NARS
par: Johansson, Robert, et autres
Publié: (2024)
par: Johansson, Robert, et autres
Publié: (2024)
A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
par: Bortolotti, Samuele, et autres
Publié: (2024)
par: Bortolotti, Samuele, et autres
Publié: (2024)
From Passive Reuse to Active Reasoning: Grounding Large Language Models for Neuro-Symbolic Experience Replay
par: Xiao, Yanan, et autres
Publié: (2026)
par: Xiao, Yanan, et autres
Publié: (2026)
LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
par: Lorello, Luca Salvatore, et autres
Publié: (2025)
par: Lorello, Luca Salvatore, et autres
Publié: (2025)
AXIOM: A Trust-First Neuro-Symbolic Execution Architecture for Verifiable Mathematical Reasoning
par: Bruno, Alessio
Publié: (2026)
par: Bruno, Alessio
Publié: (2026)
The KANDY Benchmark: Incremental Neuro-Symbolic Learning and Reasoning with Kandinsky Patterns
par: Lorello, Luca Salvatore, et autres
Publié: (2024)
par: Lorello, Luca Salvatore, et autres
Publié: (2024)
NUTS, NARS, and Speech
par: van der Sluis, D.
Publié: (2024)
par: van der Sluis, D.
Publié: (2024)
Neuro-Symbolic Data Generation for Math Reasoning
par: Li, Zenan, et autres
Publié: (2024)
par: Li, Zenan, et autres
Publié: (2024)
LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
par: Wu, Yanrui, et autres
Publié: (2026)
par: Wu, Yanrui, et autres
Publié: (2026)
NSP: A Neuro-Symbolic Natural Language Navigational Planner
par: English, William, et autres
Publié: (2024)
par: English, William, et autres
Publié: (2024)
Sandra -- A Neuro-Symbolic Reasoner Based On Descriptions And Situations
par: Lazzari, Nicolas, et autres
Publié: (2024)
par: Lazzari, Nicolas, et autres
Publié: (2024)
A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data
par: Pojer, Raffaele, et autres
Publié: (2025)
par: Pojer, Raffaele, et autres
Publié: (2025)
Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
par: Zhang, Xuan, et autres
Publié: (2025)
par: Zhang, Xuan, et autres
Publié: (2025)
Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
par: Marconato, Emanuele, et autres
Publié: (2025)
par: Marconato, Emanuele, et autres
Publié: (2025)
Reliable Classroom AI via Neuro-Symbolic Multimodal Reasoning
par: Nezhad, Sina Bagheri
Publié: (2026)
par: Nezhad, Sina Bagheri
Publié: (2026)
Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection
par: Hu, Wen-Chao, et autres
Publié: (2024)
par: Hu, Wen-Chao, et autres
Publié: (2024)
KANFIS: A Neuro-Symbolic Framework for Interpretable and Uncertainty-Aware Learning
par: Yong, Binbin, et autres
Publié: (2026)
par: Yong, Binbin, et autres
Publié: (2026)
Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models
par: Yang, Xiao-Wen, et autres
Publié: (2025)
par: Yang, Xiao-Wen, et autres
Publié: (2025)
The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning
par: Cunnington, Daniel, et autres
Publié: (2024)
par: Cunnington, Daniel, et autres
Publié: (2024)
IFDNS: An Iterative Feedback-Driven Neuro-Symbolic Method for Faithful Logical Reasoning
par: Wang, Xiaoheng, et autres
Publié: (2026)
par: Wang, Xiaoheng, et autres
Publié: (2026)
Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA
par: Liem, Tran Quang
Publié: (2026)
par: Liem, Tran Quang
Publié: (2026)
Lyria: A Genetic Algorithm-Driven Neuro-Symbolic Reasoning Framework for LLMs
par: Tang, Weizhi, et autres
Publié: (2025)
par: Tang, Weizhi, et autres
Publié: (2025)
Arbitrarily Applicable Same/Opposite Relational Responding with NARS
par: Johansson, Robert, et autres
Publié: (2025)
par: Johansson, Robert, et autres
Publié: (2025)
Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning
par: Feldstein, Jonathan, et autres
Publié: (2024)
par: Feldstein, Jonathan, et autres
Publié: (2024)
A Neuro-Symbolic Framework for Reasoning under Perceptual Uncertainty: Bridging Continuous Perception and Discrete Symbolic Planning
par: Wu, Jiahao, et autres
Publié: (2025)
par: Wu, Jiahao, et autres
Publié: (2025)
CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution
par: Gu, Alex, et autres
Publié: (2024)
par: Gu, Alex, et autres
Publié: (2024)
Evaluating Interactive Reasoning in Large Language Models: A Hierarchical Benchmark with Executable Games
par: Fan, Mingyuan, et autres
Publié: (2026)
par: Fan, Mingyuan, et autres
Publié: (2026)
Federated Neuro-Symbolic Learning
par: Xing, Pengwei, et autres
Publié: (2023)
par: Xing, Pengwei, et autres
Publié: (2023)
BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts
par: Marconato, Emanuele, et autres
Publié: (2024)
par: Marconato, Emanuele, et autres
Publié: (2024)
Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
par: Yang, Sen, et autres
Publié: (2023)
par: Yang, Sen, et autres
Publié: (2023)
Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language
par: Faghihi, Hossein Rajaby, et autres
Publié: (2024)
par: Faghihi, Hossein Rajaby, et autres
Publié: (2024)
Taxonomic Networks: A Representation for Neuro-Symbolic Pairing
par: Wang, Zekun, et autres
Publié: (2025)
par: Wang, Zekun, et autres
Publié: (2025)
Toward Auditable Neuro-Symbolic Reasoning in Pathology: SQL as an Explicit Trace of Evidence
par: Cao, Kewen, et autres
Publié: (2026)
par: Cao, Kewen, et autres
Publié: (2026)
Modeling Endogenous Logic: Causal Neuro-Symbolic Reasoning Model for Explainable Multi-Behavior Recommendation
par: Chen, Yuzhe, et autres
Publié: (2026)
par: Chen, Yuzhe, et autres
Publié: (2026)
Dspy-based Neural-Symbolic Pipeline to Enhance Spatial Reasoning in LLMs
par: Wang, Rong, et autres
Publié: (2024)
par: Wang, Rong, et autres
Publié: (2024)
NeSy-Route: A Neuro-Symbolic Benchmark for Constrained Route Planning in Remote Sensing
par: Yang, Ming, et autres
Publié: (2026)
par: Yang, Ming, et autres
Publié: (2026)
A Semantic Framework for Neuro-Symbolic Computing
par: Odense, Simon, et autres
Publié: (2022)
par: Odense, Simon, et autres
Publié: (2022)
A Fully Spectral Neuro-Symbolic Reasoning Architecture with Graph Signal Processing as the Computational Backbone
par: Kiruluta, Andrew
Publié: (2025)
par: Kiruluta, Andrew
Publié: (2025)
VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline
par: Liu, Xuan, et autres
Publié: (2026)
par: Liu, Xuan, et autres
Publié: (2026)
Documents similaires
-
Compositional Neuro-Symbolic Reasoning
par: Das, Anugyan, et autres
Publié: (2026) -
Functional Equivalence with NARS
par: Johansson, Robert, et autres
Publié: (2024) -
A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
par: Bortolotti, Samuele, et autres
Publié: (2024) -
From Passive Reuse to Active Reasoning: Grounding Large Language Models for Neuro-Symbolic Experience Replay
par: Xiao, Yanan, et autres
Publié: (2026) -
LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
par: Lorello, Luca Salvatore, et autres
Publié: (2025)