Skip to content

SIRD: Symbolic Integration Rules Dataset

· 4 citations · ⚡ 1 influential · 19 references

TL;DR

A novel and interpretable approach to perform symbolic integration using deep learning through integral rule prediction to speed up the search and introduces the first-of-its-kind symbolic integration rules dataset comprising two million distinct functions and integration rule pairs.

View source

Similar papers

Book Open access Aug 2026

Mitigating Neuro-Symbolic Reasoning Shortcuts with Data-Driven Knowledge Augmentation

Recent advancements in neuro-symbolic learning (NeSy) have shown significant promise in integrating deep learning with symbolic reasoning, offering both interpretability and generalization. However, the prevalence of reasoning shortcuts, where the NeSy system predicts incorrect intermediate concepts while maintaining h...

Yu-Feng Li, Xiaowen Yang, Wenda Wei et al. · 0 citations
Review Open access Jul 2026

Symbols and Neurons: A Review of Symbolic XAI in Deep Learning

A systematic review and synthesis of symbolic explainable AI (XAI) for deep learning is provided and a conceptual framework is proposed that clarifies training–inference flows, explanation interfaces, human feedback, and governance touchpoints is proposed.

Eduard Ionel Stan, G. Sciavicco, Paolo Napoletano · 0 citations
Review Open access Jul 2026

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts

This overview addresses this issue by providing a gentle introduction to RSs, discussing their causes and consequences in intuitive terms, and details methods for dealing with RSs, including mitigation and awareness strategies, and maps their benefits and limitations.

E. Marconato, Samuele Bortolotti, Emile van Krieken et al. · 1 citation
Conference 2026

Neurosymbolic Large Neighbourhood Search

This paper proposes combining a Constraint Programming model with a Masked Language Model ( mlm) to perform Large Neighbourhood Search ( lns), and shows that it can quickly generate many high-quality sentences and molecules, even for highly-constrained tasks.

Arnaud Delage-Reid, Gilles Pesant, Amal Zouaq · 0 citations
Jul 2026

SymBOL: A General-Purpose Symbolic Learner for Scientific Discovery Using Bayesian Optimization-Enhanced Large Language Models.

SymBOL accurately recovers governing equations and provides interpretable pathways for equation discovery when applied to real-world systems in materials science and epidemiology, and underscores the potential of SymBOL for advancing scientific discovery.

Jiaxu Cui, Qifei Li, Wei-Ting Liu et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.