datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
algebraic-stack
NOTE: Please see EleutherAI/proof-pile-2
This is a cherry-picked repackaging of the algebraic-stack segment from the proof-pile-2 dataset as parquet files
License
see EleutherAI/proof-pile-2
Citation
see EleutherAI/proof-pile-2
algebra_misconceptions
MaE: Math Misconceptions and Errors Dataset
This dataset supports the research described in the paper A Benchmark for Math Misconceptions: Bridging Gaps in Middle School Algebra with AI-Supported Instruction by Nancy Otero, Stefania Druga, and Andrew Lan.
Overview
The MaE (Math Misconceptions and Errors) dataset is a collection of 220 diagnostic examples designed by math learning researchers that represent 55 common algebra misconceptions among middle school students. It… See the full description on the dataset page: https://huggingface.co/datasets/nanote/algebra_misconceptions.MATH-Algebratulu-3-sft-personas-algebra
so101-algebra-v1This dataset was created using LeRobot.
Dataset Structure
meta/info.json:
{
"codebase_version": "v3.0",
"robot_type": "so_follower",
"total_episodes": 50,
"total_frames": 45861,
"total_tasks": 1,
"chunks_size": 1000,
"data_files_size_in_mb": 100,
"video_files_size_in_mb": 200,
"fps": 30,
"splits": {
"train": "0:50"
},
"data_path": "data/chunk-{chunk_index:03d}/file-{file_index:03d}.parquet",
"video_path":… See the full description on the dataset page: https://huggingface.co/datasets/aivanni/so101-algebra-v1.algebraalgebraic-stack_mds_incrementalalgebraic-stack-fixedso101-algebraThis dataset was created using LeRobot.
Dataset Structure
meta/info.json:
{
"codebase_version": "v3.0",
"robot_type": "so_follower",
"total_episodes": 50,
"total_frames": 45861,
"total_tasks": 1,
"chunks_size": 1000,
"data_files_size_in_mb": 100,
"video_files_size_in_mb": 200,
"fps": 30,
"splits": {
"train": "0:50"
},
"data_path": "data/chunk-{chunk_index:03d}/file-{file_index:03d}.parquet",
"video_path":… See the full description on the dataset page: https://huggingface.co/datasets/aivanni/so101-algebra.tulu-3-sft-personas-algebra-sandboxes-2dolma-v1_7-algebraic-stack-trainpairwise-poisson-algebras
Pairwise Poisson Algebras: Neural Networks vs Physics
Dataset Description
This dataset contains the first systematic computation of pairwise Poisson bracket Lie algebras for both neural network training dynamics and physical N-body systems. SGD with momentum is a Hamiltonian system; the pairwise interactions between weight layers generate a Lie algebra — and we discover that neural networks produce richer algebraic structures than any physical system.
Neural… See the full description on the dataset page: https://huggingface.co/datasets/bshepp/pairwise-poisson-algebras.bfs-optimal-symbolic-algebra-simplification-trajectories
ISRE v7 BFS Trajectories
This dataset contains BFS-optimal symbolic algebra simplification trajectories
for the ISRE research project.
Each row is one trajectory. Nested fields are stored as JSON strings to preserve
the original AST and step structure without lossy flattening.
What This Dataset Is
This is not a natural-language instruction dataset. It is a symbolic algebra
policy-learning dataset.
Each trajectory starts from a deliberately scrambled algebraic… See the full description on the dataset page: https://huggingface.co/datasets/NecroMOnk/bfs-optimal-symbolic-algebra-simplification-trajectories.repetitive-algebraASyMOB-Algebraic_Symbolic_Mathematical_Operations_Benchmark
ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
This dataset is associated with the paper "ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark".
Abstract
Large language models (LLMs) are increasingly applied to symbolic mathematics, yet existing evaluations often conflate pattern memorization with genuine reasoning. To address this gap, we present ASyMOB, a high-resolution dataset of 35,368 validated symbolic math problems spanning… See the full description on the dataset page: https://huggingface.co/datasets/Shalyt/ASyMOB-Algebraic_Symbolic_Mathematical_Operations_Benchmark.task664_mmmlu_answer_generation_abstract_algebra
Dataset Card for Natural Instructions (https://github.com/allenai/natural-instructions) Task: task664_mmmlu_answer_generation_abstract_algebra
Additional Information
Citation Information
The following paper introduces the corpus in detail. If you use the corpus in published work, please cite it:
@misc{wang2022supernaturalinstructionsgeneralizationdeclarativeinstructions,
title={Super-NaturalInstructions: Generalization via Declarative Instructions on 1600+… See the full description on the dataset page: https://huggingface.co/datasets/Lots-of-LoRAs/task664_mmmlu_answer_generation_abstract_algebra.linear-algebra-transformersdanish-algebra-sft-v5-mixedp2-etf-derived-algebraic-geometry-resultsp2-etf-linfinity-algebra-resultszero-boundary-algebra
Zero Boundary Algebra 1.1 reference profile
The reference profile turns the paper's structural claims into executable checks.
Run with Python 3.11 or later:
python property_check.py
Expected public results:
144 finite-domain states checked;
144/144 mirror-involution checks pass;
144/144 reset-idempotence checks pass;
144/144 structural mirror/reset commutation checks pass;
one six-record valid chain accepted;
14/14 seeded mutations, deletions, reorderings, and duplications… See the full description on the dataset page: https://huggingface.co/datasets/researchforumonline/zero-boundary-algebra.pashto-algebra
د پښتو الجبرا پروژه 🤖🇦🇫📚🧠
د افغان نجونو لپاره ډالۍ 💝
"تعلیم یو حق دی، نه مرسته." ✨
هغو زړورو افغان نجونو ته چې له ښوونځي او کتابونو څخه محرومې دي — دا پروژه ستاسو لپاره ده! 🇦🇫❤️
📖 د پروژې په اړه
Pashto Algebra Dataset په پښتو ژبه کې لومړی او تر ټولو لوی ګام په ګام ریاضي ډیټاسیټ دی.
دا پروژه د هغو افغان ماشومانو لپاره جوړه شوې چې په ځانګړې توګه نجونې چې په افغانستان کې له ښوونځي تګ څخه منع دي او هلکان چې په لرو پرتو سیمو کې اوسي.
🎯… See the full description on the dataset page: https://huggingface.co/datasets/nassimjp/pashto-algebra.math-mixture-mix_precalculus62_algebra33_counting___probability03so101-algebra-v2This dataset was created using LeRobot.
Dataset Structure
meta/info.json:
{
"codebase_version": "v3.0",
"robot_type": "so_follower",
"total_episodes": 3,
"total_frames": 2766,
"total_tasks": 1,
"chunks_size": 1000,
"data_files_size_in_mb": 100,
"video_files_size_in_mb": 200,
"fps": 30,
"splits": {
"train": "0:3"
},
"data_path": "data/chunk-{chunk_index:03d}/file-{file_index:03d}.parquet",
"video_path":… See the full description on the dataset page: https://huggingface.co/datasets/aivanni/so101-algebra-v2.adaption-arithmetic-algebra-word-problems
This dataset is a remastered version prepared using Adaption's Adaptive Data platform.
adaption-arithmetic-algebra-word-problems
This dataset features instruction and response pairs containing grade-school arithmetic and algebra word problems paired with step-by-step solutions. Problems cover multi-step arithmetic, percentages, ratios, linear equations, and simple systems solvable in two to five steps. Each completion demonstrates explicit reasoning and concludes with a… See the full description on the dataset page: https://huggingface.co/datasets/vinod-anbalagan/adaption-arithmetic-algebra-word-problems.p2-etf-algebraic-geometry-resultsgrassmannian_cluster_algebras
Dataset Card for Grassmannian cluster algebras and semistandard Young tableaux
The Grassmann manifold Gr(k,n)Gr(k,n)Gr(k,n) is the set of full-rank k×nk \times nk×n matrices
up to equivalence of elementary row operations (equivalently the space whose points are kkk-dimensional subspaces in Rn\mathbb{R}^nRn). Grassmannians are of fundamental
geometric importance and are a central tool in a model of quantum field theory known
as supersymmetric Yang-Mills theory.
Among the many… See the full description on the dataset page: https://huggingface.co/datasets/ACDRepo/grassmannian_cluster_algebras.math-mixture-mix_geometry54_intermediate_algebra29_prealgebra14tulu-3-sft-personas-algebra-sandboxes-traces-terminus-2task090_equation_learner_algebra
Dataset Card for Natural Instructions (https://github.com/allenai/natural-instructions) Task: task090_equation_learner_algebra
Additional Information
Citation Information
The following paper introduces the corpus in detail. If you use the corpus in published work, please cite it:
@misc{wang2022supernaturalinstructionsgeneralizationdeclarativeinstructions,
title={Super-NaturalInstructions: Generalization via Declarative Instructions on 1600+ NLP Tasks}… See the full description on the dataset page: https://huggingface.co/datasets/Lots-of-LoRAs/task090_equation_learner_algebra.