Hugging Face's logo

deepadapt
/
trident-ec

Model card Files
xet
 Community
farguney commited on
Commit
c14c77f
·
verified ·
1 Parent(s): 3fe2165

Upload g1fs16_field_s0.json with huggingface_hub

Browse files
Files changed (1) hide show
  1. g1fs16_field_s0.json +36 -199
g1fs16_field_s0.json CHANGED
@@ -68,213 +68,50 @@
68
  "lam_mid": 0.0,
69
  "cur_depth": 1,
70
  "st": 0,
71
- "s_per_step": 1.5897,
72
  "wall_s": 1.6
73
- },
74
- {
75
- "acc_d11": 1.0,
76
- "exact_d11": 1.0,
77
- "acc_d12": 1.0,
78
- "exact_d12": 1.0,
79
- "acc_d13": 1.0,
80
- "exact_d13": 1.0,
81
- "acc_d14": 1.0,
82
- "exact_d14": 1.0,
83
- "acc_d15": 1.0,
84
- "exact_d15": 1.0,
85
- "acc_d16": 1.0,
86
- "exact_d16": 1.0,
87
- "heldout_byte_acc": 1.0,
88
- "heldout_record_exact": 1.0,
89
- "heldout_answer_bpb": 6.597766677411225e-05,
90
- "heldout_min_exact": 1.0,
91
- "singleton_len1": 1.0,
92
- "distinct_codes": 1.0,
93
- "code_map": "[1, 0]",
94
- "empty_word_rate": 1.0,
95
- "word_purity": 1.0,
96
- "word_len_match": 1.0,
97
- "purity_by_depth": "[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]",
98
- "purity_trained": 1.0,
99
- "purity_closure": 1.0,
100
- "clip_compiler_symbols": 0.179,
101
- "clip_compiler_reader": 0.084,
102
- "clip_actions": 0.078,
103
- "clip_carrier": 0.132,
104
- "clip_spine": 521.526,
105
- "step": 1000,
106
- "loss": 1155.8621826171875,
107
- "train_bits": 1155.9,
108
- "lam_mid": 0.8335,
109
- "cur_depth": 5,
110
- "st": 0,
111
- "s_per_step": 0.0425,
112
- "wall_s": 42.5
113
- },
114
- {
115
- "acc_d11": 1.0,
116
- "exact_d11": 1.0,
117
- "acc_d12": 1.0,
118
- "exact_d12": 1.0,
119
- "acc_d13": 1.0,
120
- "exact_d13": 1.0,
121
- "acc_d14": 1.0,
122
- "exact_d14": 1.0,
123
- "acc_d15": 1.0,
124
- "exact_d15": 1.0,
125
- "acc_d16": 1.0,
126
- "exact_d16": 1.0,
127
- "heldout_byte_acc": 1.0,
128
- "heldout_record_exact": 1.0,
129
- "heldout_answer_bpb": 2.2038615957361194e-06,
130
- "heldout_min_exact": 1.0,
131
- "singleton_len1": 1.0,
132
- "distinct_codes": 1.0,
133
- "code_map": "[1, 0]",
134
- "empty_word_rate": 1.0,
135
- "word_purity": 1.0,
136
- "word_len_match": 1.0,
137
- "purity_by_depth": "[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]",
138
- "purity_trained": 1.0,
139
- "purity_closure": 1.0,
140
- "clip_compiler_symbols": 0.038,
141
- "clip_compiler_reader": 0.016,
142
- "clip_actions": 0.009,
143
- "clip_carrier": 0.014,
144
- "clip_spine": 836.86,
145
- "step": 2000,
146
- "loss": 1269.499755859375,
147
- "train_bits": 1269.57,
148
- "lam_mid": 1.0,
149
- "cur_depth": 10,
150
- "st": 0,
151
- "s_per_step": 0.055,
152
- "wall_s": 110.1
153
- },
154
- {
155
- "acc_d11": 1.0,
156
- "exact_d11": 1.0,
157
- "acc_d12": 1.0,
158
- "exact_d12": 1.0,
159
- "acc_d13": 1.0,
160
- "exact_d13": 1.0,
161
- "acc_d14": 1.0,
162
- "exact_d14": 1.0,
163
- "acc_d15": 1.0,
164
- "exact_d15": 1.0,
165
- "acc_d16": 1.0,
166
- "exact_d16": 1.0,
167
- "heldout_byte_acc": 1.0,
168
- "heldout_record_exact": 1.0,
169
- "heldout_answer_bpb": 7.306181046828897e-07,
170
- "heldout_min_exact": 1.0,
171
- "singleton_len1": 1.0,
172
- "distinct_codes": 1.0,
173
- "code_map": "[1, 0]",
174
- "empty_word_rate": 1.0,
175
- "word_purity": 1.0,
176
- "word_len_match": 1.0,
177
- "purity_by_depth": "[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]",
178
- "purity_trained": 1.0,
179
- "purity_closure": 1.0,
180
- "clip_compiler_symbols": 0.013,
181
- "clip_compiler_reader": 0.006,
182
- "clip_actions": 0.002,
183
- "clip_carrier": 0.004,
184
- "clip_spine": 31085.568,
185
- "step": 3000,
186
- "loss": 1317.166259765625,
187
- "train_bits": 1317.24,
188
- "lam_mid": 1.0,
189
- "cur_depth": 10,
190
- "st": 0,
191
- "s_per_step": 0.0877,
192
- "wall_s": 263.1
193
- },
194
- {
195
- "acc_d11": 1.0,
196
- "exact_d11": 1.0,
197
- "acc_d12": 1.0,
198
- "exact_d12": 1.0,
199
- "acc_d13": 1.0,
200
- "exact_d13": 1.0,
201
- "acc_d14": 1.0,
202
- "exact_d14": 1.0,
203
- "acc_d15": 1.0,
204
- "exact_d15": 1.0,
205
- "acc_d16": 1.0,
206
- "exact_d16": 1.0,
207
- "heldout_byte_acc": 1.0,
208
- "heldout_record_exact": 1.0,
209
- "heldout_answer_bpb": 2.6371227409190584e-07,
210
- "heldout_min_exact": 1.0,
211
- "singleton_len1": 1.0,
212
- "distinct_codes": 1.0,
213
- "code_map": "[1, 0]",
214
- "empty_word_rate": 1.0,
215
- "word_purity": 1.0,
216
- "word_len_match": 1.0,
217
- "purity_by_depth": "[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]",
218
- "purity_trained": 1.0,
219
- "purity_closure": 1.0,
220
- "clip_compiler_symbols": 0.006,
221
- "clip_compiler_reader": 0.003,
222
- "clip_actions": 0.002,
223
- "clip_carrier": 0.002,
224
- "clip_spine": 1328.123,
225
- "step": 3999,
226
- "loss": 1189.0423583984375,
227
- "train_bits": 1189.12,
228
- "lam_mid": 1.0,
229
- "cur_depth": 10,
230
- "st": 0,
231
- "s_per_step": 0.104,
232
- "wall_s": 415.9
233
  }
234
  ],
235
  "final": {
236
- "acc_d11": 1.0,
237
- "exact_d11": 1.0,
238
- "acc_d12": 1.0,
239
- "exact_d12": 1.0,
240
- "acc_d13": 1.0,
241
- "exact_d13": 1.0,
242
- "acc_d14": 1.0,
243
- "exact_d14": 1.0,
244
- "acc_d15": 1.0,
245
- "exact_d15": 1.0,
246
- "acc_d16": 1.0,
247
- "exact_d16": 1.0,
248
- "heldout_byte_acc": 1.0,
249
- "heldout_record_exact": 1.0,
250
- "heldout_answer_bpb": 2.6371227409190584e-07,
251
- "heldout_min_exact": 1.0,
252
- "singleton_len1": 1.0,
253
- "distinct_codes": 1.0,
254
- "code_map": "[1, 0]",
255
- "empty_word_rate": 1.0,
256
- "word_purity": 1.0,
257
- "word_len_match": 1.0,
258
- "purity_by_depth": "[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]",
259
- "purity_trained": 1.0,
260
- "purity_closure": 1.0,
261
- "clip_compiler_symbols": 0.006,
262
- "clip_compiler_reader": 0.003,
263
- "clip_actions": 0.002,
264
- "clip_carrier": 0.002,
265
- "clip_spine": 1328.123,
266
- "step": 3999,
267
- "loss": 1189.0423583984375,
268
- "train_bits": 1189.12,
269
- "lam_mid": 1.0,
270
- "cur_depth": 10,
271
  "st": 0,
272
- "s_per_step": 0.104,
273
- "wall_s": 415.9
274
  }
275
  }
276
  ],
277
- "partial": false,
278
  "result_file": "g1fs16_field_s0.json",
279
  "off_law": {},
280
  "certification_geometry": true
 
68
  "lam_mid": 0.0,
69
  "cur_depth": 1,
70
  "st": 0,
71
+ "s_per_step": 1.6132,
72
  "wall_s": 1.6
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
73
  }
74
  ],
75
  "final": {
76
+ "acc_d11": 0.0029,
77
+ "exact_d11": 0.0,
78
+ "acc_d12": 0.0,
79
+ "exact_d12": 0.0,
80
+ "acc_d13": 0.001,
81
+ "exact_d13": 0.0,
82
+ "acc_d14": 0.0039,
83
+ "exact_d14": 0.0,
84
+ "acc_d15": 0.0049,
85
+ "exact_d15": 0.0,
86
+ "acc_d16": 0.001,
87
+ "exact_d16": 0.0,
88
+ "heldout_byte_acc": 0.0022786458333333335,
89
+ "heldout_record_exact": 0.0,
90
+ "heldout_answer_bpb": 8.070003479719162,
91
+ "heldout_min_exact": 0.0,
92
+ "singleton_len1": 0.0,
93
+ "distinct_codes": 0.0,
94
+ "code_map": "[None, None]",
95
+ "empty_word_rate": 0.0,
96
+ "word_purity": 0.0,
97
+ "word_len_match": 0.0,
98
+ "clip_compiler_symbols": 0.292,
99
+ "clip_compiler_reader": 0.745,
100
+ "clip_actions": 5.37,
101
+ "clip_carrier": 21.592,
102
+ "clip_spine": 3924.82,
103
+ "step": 0,
104
+ "loss": 4108.3876953125,
105
+ "train_bits": 4101.78,
106
+ "lam_mid": 0.0,
107
+ "cur_depth": 1,
 
 
 
108
  "st": 0,
109
+ "s_per_step": 1.6132,
110
+ "wall_s": 1.6
111
  }
112
  }
113
  ],
114
+ "partial": true,
115
  "result_file": "g1fs16_field_s0.json",
116
  "off_law": {},
117
  "certification_geometry": true