Datasetpublic

psaegert/symbolic-data-assets-sa

symbolic-data assets (CC BY-SA 4.0 catalogs) Share-alike-licensed benchmark catalogs for the symbolic-data package, kept SEPARATE from the permissive catalogs in psaegert/symbolic-data-assets. Everything in this repo is licensed CC BY-SA 4.0 (see LICENSE: full legal code + derivation statement). Derived from The On-Line Encyclopedia of Integer Sequences (OEIS, (c) The OEIS Foundation Inc., CC-BY-SA-4.0; per-entry A-number attribution in catalog meta) and Wikipedia ("List of… See the full description on the dataset page: https://huggingface.co/datasets/psaegert/symbolic-data-assets-sa.

sourceHugging Facecc-by-sa-4.0updated 3mo agoView on Hugging Face

0likes17downloads

Dataset Card

symbolic-data assets (CC BY-SA 4.0 catalogs)

Share-alike-licensed benchmark catalogs for the symbolic-data package, kept SEPARATE from the permissive catalogs in psaegert/symbolic-data-assets. Everything in this repo is licensed CC BY-SA 4.0 (see LICENSE: full legal code + derivation statement).

Derived from The On-Line Encyclopedia of Integer Sequences (OEIS, (c) The OEIS Foundation Inc., CC-BY-SA-4.0; per-entry A-number attribution in catalog meta) and Wikipedia ("List of scientific equations named after people", CC-BY-SA-4.0), via the ERBench benchmark (arXiv:2606.09276).

Resolve by explicit repo syntax: load_catalog("psaegert/symbolic-data-assets-sa:erbench-oeis@1").