Hugging Face's logo

grapheneaffiliates
/
h4-polytopic-attention

Text Generation
Safetensors
English
geometric-attention
h4-polytope
ternary-quantization
project-olympus
transformer-vm
hilbert-modular-form
e8-lattice
percepta
Model card Files
xet
 Community
grapheneaffiliates commited on
Commit
20c7157
·
verified ·
1 Parent(s): 48a8193

Upload experiments/e8_theta_decomp.json with huggingface_hub

Browse files
Files changed (1) hide show
  1. experiments/e8_theta_decomp.json +161 -0
experiments/e8_theta_decomp.json ADDED
@@ -0,0 +1,161 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "1": {
3
+ "('(48+16*sqrt5)', '(48+-16*sqrt5)')": 24,
4
+ "('(36+16*sqrt5)', '(36+-16*sqrt5)')": 24,
5
+ "('20', '20')": 24,
6
+ "('(28+8*sqrt5)', '(28+-8*sqrt5)')": 144,
7
+ "('8', '8')": 24
8
+ },
9
+ "2": {
10
+ "('(96+32*sqrt5)', '(96+-32*sqrt5)')": 24,
11
+ "('(84+32*sqrt5)', '(84+-32*sqrt5)')": 288,
12
+ "('(68+16*sqrt5)', '(68+-16*sqrt5)')": 288,
13
+ "('(76+24*sqrt5)', '(76+-24*sqrt5)')": 192,
14
+ "('16', '16')": 24,
15
+ "('(72+32*sqrt5)', '(72+-32*sqrt5)')": 24,
16
+ "('(56+16*sqrt5)', '(56+-16*sqrt5)')": 144,
17
+ "('40', '40')": 24,
18
+ "('(64+24*sqrt5)', '(64+-24*sqrt5)')": 192,
19
+ "('(48+8*sqrt5)', '(48+-8*sqrt5)')": 192,
20
+ "('(44+16*sqrt5)', '(44+-16*sqrt5)')": 288,
21
+ "('28', '28')": 288,
22
+ "('(36+8*sqrt5)', '(36+-8*sqrt5)')": 192
23
+ },
24
+ "3": {
25
+ "('(144+48*sqrt5)', '(144+-48*sqrt5)')": 96,
26
+ "('(140+56*sqrt5)', '(140+-56*sqrt5)')": 144,
27
+ "('(108+24*sqrt5)', '(108+-24*sqrt5)')": 144,
28
+ "('(132+48*sqrt5)', '(132+-48*sqrt5)')": 144,
29
+ "('(116+32*sqrt5)', '(116+-32*sqrt5)')": 144,
30
+ "('(124+40*sqrt5)', '(124+-40*sqrt5)')": 576,
31
+ "('(80+32*sqrt5)', '(80+-32*sqrt5)')": 144,
32
+ "('48', '48')": 144,
33
+ "('(64+16*sqrt5)', '(64+-16*sqrt5)')": 288,
34
+ "('(120+48*sqrt5)', '(120+-48*sqrt5)')": 144,
35
+ "('(88+16*sqrt5)', '(88+-16*sqrt5)')": 144,
36
+ "('(104+32*sqrt5)', '(104+-32*sqrt5)')": 288,
37
+ "('(60+24*sqrt5)', '(60+-24*sqrt5)')": 144,
38
+ "('(28+-8*sqrt5)', '(28+8*sqrt5)')": 144,
39
+ "('(52+16*sqrt5)', '(52+-16*sqrt5)')": 144,
40
+ "('36', '36')": 144,
41
+ "('(44+8*sqrt5)', '(44+-8*sqrt5)')": 576,
42
+ "('(108+48*sqrt5)', '(108+-48*sqrt5)')": 96,
43
+ "('(92+32*sqrt5)', '(92+-32*sqrt5)')": 288,
44
+ "('(76+16*sqrt5)', '(76+-16*sqrt5)')": 288,
45
+ "('60', '60')": 96,
46
+ "('(100+40*sqrt5)', '(100+-40*sqrt5)')": 576,
47
+ "('(84+24*sqrt5)', '(84+-24*sqrt5)')": 1152,
48
+ "('(68+8*sqrt5)', '(68+-8*sqrt5)')": 576,
49
+ "('24', '24')": 96
50
+ },
51
+ "4": {
52
+ "('(192+64*sqrt5)', '(192+-64*sqrt5)')": 24,
53
+ "('(188+72*sqrt5)', '(188+-72*sqrt5)')": 192,
54
+ "('(156+40*sqrt5)', '(156+-40*sqrt5)')": 192,
55
+ "('(180+64*sqrt5)', '(180+-64*sqrt5)')": 576,
56
+ "('(164+48*sqrt5)', '(164+-48*sqrt5)')": 576,
57
+ "('(144+64*sqrt5)', '(144+-64*sqrt5)')": 24,
58
+ "('80', '80')": 24,
59
+ "('(112+32*sqrt5)', '(112+-32*sqrt5)')": 144,
60
+ "('(128+48*sqrt5)', '(128+-48*sqrt5)')": 192,
61
+ "('(96+16*sqrt5)', '(96+-16*sqrt5)')": 192,
62
+ "('(176+72*sqrt5)', '(176+-72*sqrt5)')": 192,
63
+ "('(144+40*sqrt5)', '(144+-40*sqrt5)')": 576,
64
+ "('(160+56*sqrt5)', '(160+-56*sqrt5)')": 576,
65
+ "('(128+24*sqrt5)', '(128+-24*sqrt5)')": 192,
66
+ "('(168+64*sqrt5)', '(168+-64*sqrt5)')": 288,
67
+ "('(152+48*sqrt5)', '(152+-48*sqrt5)')": 192,
68
+ "('(136+32*sqrt5)', '(136+-32*sqrt5)')": 288,
69
+ "('(116+48*sqrt5)', '(116+-48*sqrt5)')": 576,
70
+ "('(84+16*sqrt5)', '(84+-16*sqrt5)')": 1152,
71
+ "('(100+32*sqrt5)', '(100+-32*sqrt5)')": 1152,
72
+ "('68', '68')": 576,
73
+ "('(108+40*sqrt5)', '(108+-40*sqrt5)')": 576,
74
+ "('(76+8*sqrt5)', '(76+-8*sqrt5)')": 576,
75
+ "('32', '32')": 24,
76
+ "('(156+64*sqrt5)', '(156+-64*sqrt5)')": 576,
77
+ "('(124+32*sqrt5)', '(124+-32*sqrt5)')": 1152,
78
+ "('(140+48*sqrt5)', '(140+-48*sqrt5)')": 1152,
79
+ "('(108+16*sqrt5)', '(108+-16*sqrt5)')": 576,
80
+ "('(148+56*sqrt5)', '(148+-56*sqrt5)')": 576,
81
+ "('(116+24*sqrt5)', '(116+-24*sqrt5)')": 576,
82
+ "('(96+40*sqrt5)', '(96+-40*sqrt5)')": 192,
83
+ "('(64+8*sqrt5)', '(64+-8*sqrt5)')": 576,
84
+ "('(80+24*sqrt5)', '(80+-24*sqrt5)')": 576,
85
+ "('(48+-8*sqrt5)', '(48+8*sqrt5)')": 192,
86
+ "('(88+32*sqrt5)', '(88+-32*sqrt5)')": 288,
87
+ "('(72+16*sqrt5)', '(72+-16*sqrt5)')": 192,
88
+ "('56', '56')": 288,
89
+ "('(68+24*sqrt5)', '(68+-24*sqrt5)')": 192,
90
+ "('(36+-8*sqrt5)', '(36+8*sqrt5)')": 192,
91
+ "('(60+16*sqrt5)', '(60+-16*sqrt5)')": 576,
92
+ "('44', '44')": 576
93
+ },
94
+ "5": {
95
+ "('(240+80*sqrt5)', '(240+-80*sqrt5)')": 144,
96
+ "('(244+96*sqrt5)', '(244+-96*sqrt5)')": 24,
97
+ "('(196+48*sqrt5)', '(196+-48*sqrt5)')": 24,
98
+ "('(220+72*sqrt5)', '(220+-72*sqrt5)')": 720,
99
+ "('(236+88*sqrt5)', '(236+-88*sqrt5)')": 576,
100
+ "('(204+56*sqrt5)', '(204+-56*sqrt5)')": 576,
101
+ "('(228+80*sqrt5)', '(228+-80*sqrt5)')": 288,
102
+ "('(212+64*sqrt5)', '(212+-64*sqrt5)')": 288,
103
+ "('(192+80*sqrt5)', '(192+-80*sqrt5)')": 288,
104
+ "('(128+16*sqrt5)', '(128+-16*sqrt5)')": 288,
105
+ "('(176+64*sqrt5)', '(176+-64*sqrt5)')": 576,
106
+ "('(144+32*sqrt5)', '(144+-32*sqrt5)')": 576,
107
+ "('(160+48*sqrt5)', '(160+-48*sqrt5)')": 576,
108
+ "('(84+32*sqrt5)', '(84+-32*sqrt5)')": 24,
109
+ "('(36+-16*sqrt5)', '(36+16*sqrt5)')": 24,
110
+ "('(60+8*sqrt5)', '(60+-8*sqrt5)')": 720,
111
+ "('(232+96*sqrt5)', '(232+-96*sqrt5)')": 24,
112
+ "('(200+64*sqrt5)', '(200+-64*sqrt5)')": 144,
113
+ "('(168+32*sqrt5)', '(168+-32*sqrt5)')": 24,
114
+ "('(216+80*sqrt5)', '(216+-80*sqrt5)')": 192,
115
+ "('(184+48*sqrt5)', '(184+-48*sqrt5)')": 192,
116
+ "('(180+80*sqrt5)', '(180+-80*sqrt5)')": 144,
117
+ "('(116+16*sqrt5)', '(116+-16*sqrt5)')": 144,
118
+ "('(164+64*sqrt5)', '(164+-64*sqrt5)')": 144,
119
+ "('100', '100')": 144,
120
+ "('(172+72*sqrt5)', '(172+-72*sqrt5)')": 720,
121
+ "('(140+40*sqrt5)', '(140+-40*sqrt5)')": 1440,
122
+ "('(108+8*sqrt5)', '(108+-8*sqrt5)')": 720,
123
+ "('(156+56*sqrt5)', '(156+-56*sqrt5)')": 1152,
124
+ "('(124+24*sqrt5)', '(124+-24*sqrt5)')": 1152,
125
+ "('(148+48*sqrt5)', '(148+-48*sqrt5)')": 576,
126
+ "('(132+32*sqrt5)', '(132+-32*sqrt5)')": 576,
127
+ "('40', '40')": 144,
128
+ "('(112+48*sqrt5)', '(112+-48*sqrt5)')": 24,
129
+ "('(80+16*sqrt5)', '(80+-16*sqrt5)')": 144,
130
+ "('(48+-16*sqrt5)', '(48+16*sqrt5)')": 24,
131
+ "('(96+32*sqrt5)', '(96+-32*sqrt5)')": 192,
132
+ "('64', '64')": 192,
133
+ "('(212+88*sqrt5)', '(212+-88*sqrt5)')": 576,
134
+ "('(180+56*sqrt5)', '(180+-56*sqrt5)')": 1152,
135
+ "('(196+72*sqrt5)', '(196+-72*sqrt5)')": 1152,
136
+ "('(164+40*sqrt5)', '(164+-40*sqrt5)')": 1152,
137
+ "('(148+24*sqrt5)', '(148+-24*sqrt5)')": 576,
138
+ "('(204+80*sqrt5)', '(204+-80*sqrt5)')": 192,
139
+ "('(188+64*sqrt5)', '(188+-64*sqrt5)')": 576,
140
+ "('(172+48*sqrt5)', '(172+-48*sqrt5)')": 576,
141
+ "('(156+32*sqrt5)', '(156+-32*sqrt5)')": 192,
142
+ "('(152+64*sqrt5)', '(152+-64*sqrt5)')": 288,
143
+ "('88', '88')": 288,
144
+ "('(136+48*sqrt5)', '(136+-48*sqrt5)')": 576,
145
+ "('(104+16*sqrt5)', '(104+-16*sqrt5)')": 576,
146
+ "('(120+32*sqrt5)', '(120+-32*sqrt5)')": 576,
147
+ "('(76+24*sqrt5)', '(76+-24*sqrt5)')": 576,
148
+ "('(44+-8*sqrt5)', '(44+8*sqrt5)')": 576,
149
+ "('(68+16*sqrt5)', '(68+-16*sqrt5)')": 288,
150
+ "('52', '52')": 288,
151
+ "('(132+56*sqrt5)', '(132+-56*sqrt5)')": 576,
152
+ "('(100+24*sqrt5)', '(100+-24*sqrt5)')": 1152,
153
+ "('(116+40*sqrt5)', '(116+-40*sqrt5)')": 1152,
154
+ "('(84+8*sqrt5)', '(84+-8*sqrt5)')": 1152,
155
+ "('(68+-8*sqrt5)', '(68+8*sqrt5)')": 576,
156
+ "('(124+48*sqrt5)', '(124+-48*sqrt5)')": 192,
157
+ "('(108+32*sqrt5)', '(108+-32*sqrt5)')": 576,
158
+ "('(92+16*sqrt5)', '(92+-16*sqrt5)')": 576,
159
+ "('76', '76')": 192
160
+ }
161
+ }