Hugging Face model: BeeGass/Group-Theory-Collection
Author: BeeGass
Created: 2025-07-13 07:07:52
Last modified: 2025-07-13 07:07:53
Likes: 0 | Downloads: 0
Tags: mathematics, group-theory, permutations, symbolic-reasoning, algebra, sequence-modeling, state-space-models, computational-complexity, en, arxiv:2404.08819, license:mit, region:us
Card metadata:
license: mit
task_categories: text-generation
language: en
tags: mathematics, group-theory, permutations, symbolic-reasoning, algebra, sequence-modeling, state-space-models, computational-complexity
pretty_name: Group Theory Collection
size_categories: 10M<n<100M
configs: config_name: default
data_files: split: train
path: data/*/train/data-*, split: test
path: data/*/test/data-*, config_name: s3
data_files: split: train
path: data/s3/train/data-*, split: test
path: data/s3/test/data-*, config_name: s4
data_files: split: train
path: data/s4/train/data-*, split: test
path: data/s4/test/data-*, config_name: s5
data_files: split: train
path: data/s5/train/data-*, split: test
path: data/s5/test/data-*, config_name: s6
data_files: split: train
path: data/s6/train/data-*, split: test
path: data/s6/test/data-*, config_name: s7
data_files: split: train
path: data/s7/train/data-*, split: test
path: data/s7/test/data-*, config_name: s8
data_files: split: train
path: data/s8/train/data-*, split: test
path: data/s8/test/data-*, config_name: s9
data_files: split: train
path: data/s9/train/data-*, split: test
path: data/s9/test/data-*, config_name: a3
data_files: split: train
path: data/a3/train/data-*, split: test
path: data/a3/test/data-*, config_name: a4
data_files: split: train
path: data/a4/train/data-*, split: test
path: data/a4/test/data-*, config_name: a5
data_files: split: train
path: data/a5/train/data-*, split: test
path: data/a5/test/data-*, config_name: a6
data_files: split: train
path: data/a6/train/data-*, split: test
path: data/a6/test/data-*, config_name: a7
data_files: split: train
path: data/a7/train/data-*, split: test
path: data/a7/test/data-*, config_name: a8
data_files: split: train
path: data/a8/train/data-*, split: test
path: data/a8/test/data-*, config_name: a9
data_files: split: train
path: data/a9/train/data-*, split: test
path: data/a9/test/data-*, config_name: c2
data_files: split: train
path: data/c2/train/data-*, split: test
path: data/c2/test/data-*, config_name: c3
data_files: split: train
path: data/c3/train/data-*, split: test
path: data/c3/test/data-*, config_name: c4
data_files: split: train
path: data/c4/train/data-*, split: test
path: data/c4/test/data-*, config_name: c5
data_files: split: train
path: data/c5/train/data-*, split: test
path: data/c5/test/data-*, config_name: c6
data_files: split: train
path: data/c6/train/data-*, split: test
path: data/c6/test/data-*, config_name: c7
data_files: split: train
path: data/c7/train/data-*, split: test
path: data/c7/test/data-*, config_name: c8
data_files: split: train
path: data/c8/train/data-*, split: test
path: data/c8/test/data-*, config_name: c9
data_files: split: train
path: data/c9/train/data-*, split: test
path: data/c9/test/data-*, config_name: c10
data_files: split: train
path: data/c10/train/data-*, split: test
path: data/c10/test/data-*, config_name: c11
data_files: split: train
path: data/c11/train/data-*, split: test
path: data/c11/test/data-*, config_name: c12
data_files: split: train
path: data/c12/train/data-*, split: test
path: data/c12/test/data-*, config_name: c13
data_files: split: train
path: data/c13/train/data-*, split: test
path: data/c13/test/data-*, config_name: c14
data_files: split: train
path: data/c14/train/data-*, split: test
path: data/c14/test/data-*, config_name: c15
data_files: split: train
path: data/c15/train/data-*, split: test
path: data/c15/test/data-*, config_name: c16
data_files: split: train
path: data/c16/train/data-*, split: test
path: data/c16/test/data-*, config_name: c17
data_files: split: train
path: data/c17/train/data-*, split: test
path: data/c17/test/data-*, config_name: c18
data_files: split: train
path: data/c18/train/data-*, split: test
path: data/c18/test/data-*, config_name: c19
data_files: split: train
path: data/c19/train/data-*, split: test
path: data/c19/test/data-*, config_name: c20
data_files: split: train
path: data/c20/train/data-*, split: test
path: data/c20/test/data-*, config_name: c21
data_files: split: train
path: data/c21/train/data-*, split: test
path: data/c21/test/data-*, config_name: c22
data_files: split: train
path: data/c22/train/data-*, split: test
path: data/c22/test/data-*, config_name: c23
data_files: split: train
path: data/c23/train/data-*, split: test
path: data/c23/test/data-*, config_name: c24
data_files: split: train
path: data/c24/train/data-*, split: test
path: data/c24/test/data-*, config_name: c25
data_files: split: train
path: data/c25/train/data-*, split: test
path: data/c25/test/data-*, config_name: c26
data_files: split: train
path: data/c26/train/data-*, split: test
path: data/c26/test/data-*, config_name: c27
data_files: split: train
path: data/c27/train/data-*, split: test
path: data/c27/test/data-*, config_name: c28
data_files: split: train
path: data/c28/train/data-*, split: test
path: data/c28/test/data-*, config_name: c29
data_files: split: train
path: data/c29/train/data-*, split: test
path: data/c29/test/data-*, config_name: c30
data_files: split: train
path: data/c30/train/data-*, split: test
path: data/c30/test/data-*, config_name: d3
data_files: split: train
path: data/d3/train/data-*, split: test
path: data/d3/test/data-*, config_name: d4
data_files: split: train
path: data/d4/train/data-*, split: test
path: data/d4/test/data-*, config_name: d5
data_files: split: train
path: data/d5/train/data-*, split: test
path: data/d5/test/data-*, config_name: d6
data_files: split: train
path: data/d6/train/data-*, split: test
path: data/d6/test/data-*, config_name: d7
data_files: split: train
path: data/d7/train/data-*, split: test
path: data/d7/test/data-*, config_name: d8
data_files: split: train
path: data/d8/train/data-*, split: test
path: data/d8/test/data-*, config_name: d9
data_files: split: train
path: data/d9/train/data-*, split: test
path: data/d9/test/data-*, config_name: d10
data_files: split: train
path: data/d10/train/data-*, split: test
path: data/d10/test/data-*, config_name: d11
data_files: split: train
path: data/d11/train/data-*, split: test
path: data/d11/test/data-*, config_name: d12
data_files: split: train
path: data/d12/train/data-*, split: test
path: data/d12/test/data-*, config_name: d13
data_files: split: train
path: data/d13/train/data-*, split: test
path: data/d13/test/data-*, config_name: d14
data_files: split: train
path: data/d14/train/data-*, split: test
path: data/d14/test/data-*, config_name: d15
data_files: split: train
path: data/d15/train/data-*, split: test
path: data/d15/test/data-*, config_name: d16
data_files: split: train
path: data/d16/train/data-*, split: test
path: data/d16/test/data-*, config_name: d17
data_files: split: train
path: data/d17/train/data-*, split: test
path: data/d17/test/data-*, config_name: d18
data_files: split: train
path: data/d18/train/data-*, split: test
path: data/d18/test/data-*, config_name: d19
data_files: split: train
path: data/d19/train/data-*, split: test
path: data/d19/test/data-*, config_name: d20
data_files: split: train
path: data/d20/train/data-*, split: test
path: data/d20/test/data-*, config_name: q8
data_files: split: train
path: data/q8/train/data-*, split: test
path: data/q8/test/data-*, config_name: q16
data_files: split: train
path: data/q16/train/data-*, split: test
path: data/q16/test/data-*, config_name: q32
data_files: split: train
path: data/q32/train/data-*, split: test
path: data/q32/test/data-*, config_name: f20
data_files: split: train
path: data/f20/train/data-*, split: test
path: data/f20/test/data-*, config_name: f21
data_files: split: train
path: data/f21/train/data-*, split: test
path: data/f21/test/data-*, config_name: v4
data_files: split: train
path: data/v4/train/data-*, split: test
path: data/v4/test/data-*, config_name: z2_1
data_files: split: train
path: data/z2_1/train/data-*, split: test
path: data/z2_1/test/data-*, config_name: z2_2
data_files: split: train
path: data/z2_2/train/data-*, split: test
path: data/z2_2/test/data-*, config_name: z2_3
data_files: split: train
path: data/z2_3/train/data-*, split: test
path: data/z2_3/test/data-*, config_name: z2_4
data_files: split: train
path: data/z2_4/train/data-*, split: test
path: data/z2_4/test/data-*, config_name: z2_5
data_files: split: train
path: data/z2_5/train/data-*, split: test
path: data/z2_5/test/data-*, config_name: z3_1
data_files: split: train
path: data/z3_1/train/data-*, split: test
path: data/z3_1/test/data-*, config_name: z3_2
data_files: split: train
path: data/z3_2/train/data-*, split: test
path: data/z3_2/test/data-*, config_name: z3_3
data_files: split: train
path: data/z3_3/train/data-*, split: test
path: data/z3_3/test/data-*, config_name: z3_4
data_files: split: train
path: data/z3_4/train/data-*, split: test
path: data/z3_4/test/data-*, config_name: z5_1
data_files: split: train
path: data/z5_1/train/data-*, split: test
path: data/z5_1/test/data-*, config_name: z5_2
data_files: split: train
path: data/z5_2/train/data-*, split: test
path: data/z5_2/test/data-*, config_name: z5_3
data_files: split: train
path: data/z5_3/train/data-*, split: test
path: data/z5_3/test/data-*, config_name: z5_4
data_files: split: train
path: data/z5_4/train/data-*, split: test
path: data/z5_4/test/data-*, config_name: psl2_2
data_files: split: train
path: data/psl2_2/train/data-*, split: test
path: data/psl2_2/test/data-*, config_name: psl2_3
data_files: split: train
path: data/psl2_3/train/data-*, split: test
path: data/psl2_3/test/data-*, config_name: psl2_4
data_files: split: train
path: data/psl2_4/train/data-*, split: test
path: data/psl2_4/test/data-*, config_name: psl2_5
data_files: split: train
path: data/psl2_5/train/data-*, split: test
path: data/psl2_5/test/data-*, config_name: psl2_7
data_files: split: train
path: data/psl2_7/train/data-*, split: test
path: data/psl2_7/test/data-*, config_name: psl2_8
data_files: split: train
path: data/psl2_8/train/data-*, split: test
path: data/psl2_8/test/data-*, config_name: psl2_9
data_files: split: train
path: data/psl2_9/train/data-*, split: test
path: data/psl2_9/test/data-*, config_name: psl2_11
data_files: split: train
path: data/psl2_11/train/data-*, split: test
path: data/psl2_11/test/data-*, config_name: psl3_2
data_files: split: train
path: data/psl3_2/train/data-*, split: test
path: data/psl3_2/test/data-*, config_name: psl3_3
data_files: split: train
path: data/psl3_3/train/data-*, split: test
path: data/psl3_3/test/data-*, config_name: psl3_4
data_files: split: train
path: data/psl3_4/train/data-*, split: test
path: data/psl3_4/test/data-*, config_name: psl3_5
data_files: split: train
path: data/psl3_5/train/data-*, split: test
path: data/psl3_5/test/data-*, config_name: m11
data_files: split: train
path: data/m11/train/data-*, split: test
path: data/m11/test/data-*, config_name: m12
data_files: split: train
path: data/m12/train/data-*, split: test
path: data/m12/test/data-*