datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
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.so101-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.repetitive-algebrabfs-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.pairwise-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.so101-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.per_sample_scores.mmlu_abstract_algebra.prob_vocab_correct.2024-05-31Math-intermediate-algebraMath-algebraopenr1_algebra_1k_lgopenr1_algebra_1k_smqwen3_0.6b-rlvr_task090_equation_learner_algebraper_sample_scores.mmlu_abstract_algebra.prob_choices_correct.2024-05-31openr1_algebra_1k_nmper_sample_scores.mmlu_abstract_algebra.acc.2024-05-31tulu-3-sft-personas-algebra-unused-gemma3algebraic-connectivity-baselinestulu-3-sft-personas-algebra-unused-qwqalgebra_exercises_v4_11_0_filteredalgebra_exercises_v4_11_0_cleaner