Copertina

Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Labre, Marcelo
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence Machine Learning Symbolic Computation
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitations
di: Bougzime, Oualid, et al.
Pubblicazione: (2025)

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
di: Hersche, Michael, et al.
Pubblicazione: (2024)

Hierarchical Neuro-Symbolic Decision Transformer
di: Baheri, Ali, et al.
Pubblicazione: (2025)

UniSymNet: A Unified Symbolic Network Guided by Transformer
di: Li, Xinxin, et al.
Pubblicazione: (2025)

Knowledge Integration for Physics-informed Symbolic Regression Using Pre-trained Large Language Models
di: Taskin, Bilge, et al.
Pubblicazione: (2025)

ANSR-DT: An Adaptive Neuro-Symbolic Learning and Reasoning Framework for Digital Twins
di: Hakim, Safayat Bin, et al.
Pubblicazione: (2025)

Neuro-Symbolic ODE Discovery with Latent Grammar Flow
di: Yu, Karin, et al.
Pubblicazione: (2026)

EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
di: Jiang, Nan, et al.
Pubblicazione: (2025)

Unsupervised Symbolic Anomaly Detection
di: Hossain, Md Maruf, et al.
Pubblicazione: (2026)

Symbolic Foundation Regressor on Complex Networks
di: Liu, Weiting, et al.
Pubblicazione: (2025)

Bootstrapping OTS-Funcimg Pre-training Model (Botfip) -- A Comprehensive Symbolic Regression Framework
di: Chen, Tianhao, et al.
Pubblicazione: (2024)

Hierarchical NeuroSymbolic Approach for Comprehensive and Explainable Action Quality Assessment
di: Okamoto, Lauren, et al.
Pubblicazione: (2024)

Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression
di: Saegert, Paul, et al.
Pubblicazione: (2026)

ViSymRe: Vision Multimodal Symbolic Regression
di: Li, Da, et al.
Pubblicazione: (2024)

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
di: Ünsal, Mert, et al.
Pubblicazione: (2024)

NeSy-Edge: Neuro-Symbolic Trustworthy Self-Healing in the Computing Continuum
di: Ye, Peihan, et al.
Pubblicazione: (2026)

Multi-Operational Mathematical Derivations in Latent Space
di: Valentino, Marco, et al.
Pubblicazione: (2023)

Auditable Unit-Aware Thresholds in Symbolic Regression via Logistic-Gated Operators
di: Deng, Ou, et al.
Pubblicazione: (2025)

Interactive Symbolic Regression through Offline Reinforcement Learning: A Co-Design Framework
di: Tian, Yuan, et al.
Pubblicazione: (2025)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
di: Shahid, Mahnoor, et al.
Pubblicazione: (2026)

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
di: Leang, Joshua Ong Jun, et al.
Pubblicazione: (2024)

Improving Neural-based Classification with Logical Background Knowledge
di: Ledaguenel, Arthur, et al.
Pubblicazione: (2024)

Parsing the Language of Expression: Enhancing Symbolic Regression with Domain-Aware Symbolic Priors
di: Huang, Sikai, et al.
Pubblicazione: (2025)

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
di: Chen, Yongchao, et al.
Pubblicazione: (2025)

Beyond Accuracy: Introducing a Symbolic-Mechanistic Approach to Interpretable Evaluation
di: Habibi, Reza, et al.
Pubblicazione: (2026)

Symbolic Regression with a Learned Concept Library
di: Grayeli, Arya, et al.
Pubblicazione: (2024)

Learning Interpretable Network Dynamics via Universal Neural Symbolic Regression
di: Hu, Jiao, et al.
Pubblicazione: (2024)

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
di: Sinha, Sania, et al.
Pubblicazione: (2025)

Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery
di: Matsubara, Yoshitomo, et al.
Pubblicazione: (2022)

APEX$^2$: Adaptive and Extreme Summarization for Personalized Knowledge Graphs
di: Li, Zihao, et al.
Pubblicazione: (2024)

SymbolicAI: A framework for logic-based approaches combining generative models and solvers
di: Dinu, Marius-Constantin, et al.
Pubblicazione: (2024)

Primender Sequence: A Novel Mathematical Construct for Testing Symbolic Inference and AI Reasoning
di: Faiz, Mohd Anwar Jamal
Pubblicazione: (2025)

Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic
di: Zhao, Xufeng, et al.
Pubblicazione: (2023)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
di: Shalyt, Michael, et al.
Pubblicazione: (2025)

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
di: Aswal, Darpan, et al.
Pubblicazione: (2025)

Cognitive Architectures for Language Agents
di: Sumers, Theodore R., et al.
Pubblicazione: (2023)

Scheduling That Speaks: An Interpretable Programmatic Reinforcement Learning Framework
di: Hu, Chengpeng, et al.
Pubblicazione: (2026)

The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning
di: Sheneman, Lucas
Pubblicazione: (2026)

Library learning with e-graphs on jazz harmony
di: Ren, Zeng, et al.
Pubblicazione: (2026)

Certified geometric robustness -- Super-DeepG
di: Cohen, Noémie, et al.
Pubblicazione: (2026)