Exhaustive Canonical Skeletons Generation: A Formal Dataset for Decomposable Symbolic Regression
Neural symbolic regression (SR) models require diverse datasets of mathematical expressions for robust training.
ProofPaper ↗
Key points
- To address this, we introduce an exhaustive dataset of univariate canonical skeletons generated via a deterministic constrained context-free grammar.
- A canonical skeleton acts as a generic structural representation that subsumes more specific functional forms, eliminating redundant expressions and avoiding repeated computational efforts.
- Although our dataset consists of univariate skeletons, it is designed to support the decomposable SR paradigm to solve multivariate SR problems without assuming linear separability.
- Canonicalizing two existing neural SR datasets reveals that our dataset is substantially more compact, eliminates structural repetitions, and achieves a uniform operator distribution free of simplicity bias.
Sources (1)
- [1]Exhaustive Canonical Skeletons Generation: A Formal Dataset for Decomposable Symbolic RegressionarXiv (AI, ML, NLP, CV, robotics, multi-agent) · Oct 14, 12:39 PM
Neural symbolic regression (SR) models require diverse datasets of mathematical expressions for robust training.
To address this, we introduce an exhaustive dataset of univariate canonical skeletons generated via a deterministic constrained context-free grammar.
Extractive summary: sentences quoted from the sources.
Before this
- Oct 13, 2026Correction Training for Diffusion Models
- Oct 13, 2026Run fast, private agents on-device with LFM2.5-24B-A2B
- Oct 13, 2026Gemini 4 Argon for Robotics
- Oct 13, 2026inclusionAI/Ling-3.1-flash
- Oct 13, 2026Hybrid Reasoning Agents
- Oct 13, 2026Fish Audio Drama 3 Technical Report