datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
MATH-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.zero-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.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.grassmannian_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.advanced_algebra_af
Abstract Algebra Autoformalization Dataset
Dataset Summary
This dataset consists of abstract algebra problems, with informal (natural language) statements and the corresponding formal statements written in Lean 4. It is designed for autoformalization tasks in the domain of abstract algebra. The dataset is a subset of the benchmark Putnam Bench.
Dataset Structure
The final dataset includes 25 abstract algebra problems from PutnamBench with a balanced… See the full description on the dataset page: https://huggingface.co/datasets/agatha-duzan/advanced_algebra_af.mmlu-abstract-algebraAlgebra2math_algebra_func_zeros_level_4simple-algebramath_algebra_linear_equation_7B_test_outmath_algebra_func_intersection_trainmath_comp_circles_algebramath_algebra_func_intersection_level_1mmlu-abstract-algebraintegralmn-algebramath_algebra_func_intersection_7B_trainmath_algebra_func_derivative_sign_level_1khan-math-linear_algebra
Khan Math – Linear Algebra
Linear algebra problems from Khan Academy in ChatML format. Covers vectors, matrices, eigenvalues, transformations, and more.
Quick Start
from datasets import load_dataset
dataset = load_dataset("NecroMOnk/khan-math-linear_algebra")
print(dataset["train"][0])
Example record:
{
"messages": [
{"role": "system", "content": "You are a mathematics tutor. Answer the following math problem."},
{"role": "user", "content": "Find the… See the full description on the dataset page: https://huggingface.co/datasets/NecroMOnk/khan-math-linear_algebra.math_algebra_polynomial_roots_test_inmath_algebra_linear_equation_test_inmath_algebra_linear_equation_7B_test_inmath_algebra_func_extrema_coords_level_1math_algebra_func_derivative_sign_level_3math_algebra_func_intersection_level_5math_algebra_func_extrema_coords_level_5algebra-tutor-finetunekhan-math-algebra
Khan Math – Algebra
Algebra problems from Khan Academy in ChatML format. Covers topics such as equations, polynomials, functions, and more.
Quick Start
from datasets import load_dataset
dataset = load_dataset("NecroMOnk/khan-math-algebra")
print(dataset["train"][0])
Example record:
{
"messages": [
{"role": "system", "content": "You are a mathematics tutor. Answer the following math problem."},
{"role": "user", "content": "Find the arclength of the function… See the full description on the dataset page: https://huggingface.co/datasets/NecroMOnk/khan-math-algebra.algebra_inference_1math_algebra_func_extrema_test_in