Upload g1fs16_field_s0.json with huggingface_hub
Browse files- g1fs16_field_s0.json +61 -640
g1fs16_field_s0.json
CHANGED
|
@@ -5,7 +5,7 @@
|
|
| 5 |
0
|
| 6 |
],
|
| 7 |
"nonce": 0,
|
| 8 |
-
"steps":
|
| 9 |
"events": 2,
|
| 10 |
"m_records": 16,
|
| 11 |
"d": 64,
|
|
@@ -18,6 +18,10 @@
|
|
| 18 |
"lam_a": 0.02,
|
| 19 |
"mid_warmup": 0.3,
|
| 20 |
"curriculum": 0.5,
|
|
|
|
|
|
|
|
|
|
|
|
|
| 21 |
"eps": 0.05,
|
| 22 |
"device": "cuda",
|
| 23 |
"runs": [
|
|
@@ -26,56 +30,26 @@
|
|
| 26 |
"oracle": {
|
| 27 |
"worst_acc": 1.0,
|
| 28 |
"worst_depth": -1,
|
| 29 |
-
"max_mid_entropy": 0.
|
| 30 |
"pass": true
|
| 31 |
},
|
| 32 |
"history": [
|
| 33 |
{
|
| 34 |
-
"acc_d11": 0.
|
| 35 |
-
"exact_d11": 0.0,
|
| 36 |
-
"acc_d12": 0.0039,
|
| 37 |
-
"exact_d12": 0.0,
|
| 38 |
-
"acc_d13": 0.0049,
|
| 39 |
-
"exact_d13": 0.0,
|
| 40 |
-
"acc_d14": 0.0029,
|
| 41 |
-
"exact_d14": 0.0,
|
| 42 |
-
"acc_d15": 0.0029,
|
| 43 |
-
"exact_d15": 0.0,
|
| 44 |
-
"acc_d16": 0.0088,
|
| 45 |
-
"exact_d16": 0.0,
|
| 46 |
-
"heldout_byte_acc": 0.004231770833333333,
|
| 47 |
-
"heldout_record_exact": 0.0,
|
| 48 |
-
"heldout_answer_bpb": 8.016182680924734,
|
| 49 |
-
"heldout_min_exact": 0.0,
|
| 50 |
-
"singleton_len1": 0.5,
|
| 51 |
-
"distinct_codes": 0.0,
|
| 52 |
-
"code_map": "[1, None]",
|
| 53 |
-
"empty_word_rate": 1.0,
|
| 54 |
-
"word_purity": 0.0,
|
| 55 |
-
"word_len_match": 0.0,
|
| 56 |
-
"step": 0,
|
| 57 |
-
"loss": 4102.23291015625,
|
| 58 |
-
"lam_mid": 0.0,
|
| 59 |
-
"cur_depth": 1,
|
| 60 |
-
"s_per_step": 1.0786,
|
| 61 |
-
"wall_s": 1.1
|
| 62 |
-
},
|
| 63 |
-
{
|
| 64 |
-
"acc_d11": 0.002,
|
| 65 |
"exact_d11": 0.0,
|
| 66 |
-
"acc_d12": 0.
|
| 67 |
"exact_d12": 0.0,
|
| 68 |
-
"acc_d13": 0.
|
| 69 |
"exact_d13": 0.0,
|
| 70 |
"acc_d14": 0.0039,
|
| 71 |
"exact_d14": 0.0,
|
| 72 |
-
"acc_d15": 0.
|
| 73 |
"exact_d15": 0.0,
|
| 74 |
-
"acc_d16": 0.
|
| 75 |
"exact_d16": 0.0,
|
| 76 |
-
"heldout_byte_acc": 0.
|
| 77 |
"heldout_record_exact": 0.0,
|
| 78 |
-
"heldout_answer_bpb":
|
| 79 |
"heldout_min_exact": 0.0,
|
| 80 |
"singleton_len1": 0.0,
|
| 81 |
"distinct_codes": 0.0,
|
|
@@ -83,615 +57,62 @@
|
|
| 83 |
"empty_word_rate": 0.0,
|
| 84 |
"word_purity": 0.0,
|
| 85 |
"word_len_match": 0.0,
|
| 86 |
-
"
|
| 87 |
-
"
|
| 88 |
-
"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 89 |
"cur_depth": 1,
|
| 90 |
-
"
|
| 91 |
-
"
|
| 92 |
-
|
| 93 |
-
{
|
| 94 |
-
"acc_d11": 0.001,
|
| 95 |
-
"exact_d11": 0.0,
|
| 96 |
-
"acc_d12": 0.0059,
|
| 97 |
-
"exact_d12": 0.0,
|
| 98 |
-
"acc_d13": 0.0137,
|
| 99 |
-
"exact_d13": 0.0,
|
| 100 |
-
"acc_d14": 0.002,
|
| 101 |
-
"exact_d14": 0.0,
|
| 102 |
-
"acc_d15": 0.0049,
|
| 103 |
-
"exact_d15": 0.0,
|
| 104 |
-
"acc_d16": 0.4775,
|
| 105 |
-
"exact_d16": 0.3438,
|
| 106 |
-
"heldout_byte_acc": 0.08414713541666667,
|
| 107 |
-
"heldout_record_exact": 0.057291666666666664,
|
| 108 |
-
"heldout_answer_bpb": 14.361939293021956,
|
| 109 |
-
"heldout_min_exact": 0.0,
|
| 110 |
-
"singleton_len1": 0.0,
|
| 111 |
-
"distinct_codes": 0.0,
|
| 112 |
-
"code_map": "[None, None]",
|
| 113 |
-
"empty_word_rate": 0.0,
|
| 114 |
-
"word_purity": 0.0,
|
| 115 |
-
"word_len_match": 0.0,
|
| 116 |
-
"step": 2000,
|
| 117 |
-
"loss": 1102.1640625,
|
| 118 |
-
"lam_mid": 0.2778,
|
| 119 |
-
"cur_depth": 2,
|
| 120 |
-
"s_per_step": 0.0323,
|
| 121 |
-
"wall_s": 64.5
|
| 122 |
-
},
|
| 123 |
-
{
|
| 124 |
-
"acc_d11": 0.9785,
|
| 125 |
-
"exact_d11": 0.8594,
|
| 126 |
-
"acc_d12": 0.9893,
|
| 127 |
-
"exact_d12": 0.9141,
|
| 128 |
-
"acc_d13": 0.9805,
|
| 129 |
-
"exact_d13": 0.8516,
|
| 130 |
-
"acc_d14": 0.9717,
|
| 131 |
-
"exact_d14": 0.7891,
|
| 132 |
-
"acc_d15": 0.9668,
|
| 133 |
-
"exact_d15": 0.7578,
|
| 134 |
-
"acc_d16": 0.9775,
|
| 135 |
-
"exact_d16": 0.8281,
|
| 136 |
-
"heldout_byte_acc": 0.9773763020833334,
|
| 137 |
-
"heldout_record_exact": 0.8333333333333334,
|
| 138 |
-
"heldout_answer_bpb": 0.3971105649737486,
|
| 139 |
-
"heldout_min_exact": 0.7578,
|
| 140 |
-
"singleton_len1": 1.0,
|
| 141 |
-
"distinct_codes": 1.0,
|
| 142 |
-
"code_map": "[1, 0]",
|
| 143 |
-
"empty_word_rate": 0.0,
|
| 144 |
-
"word_purity": 0.5,
|
| 145 |
-
"word_len_match": 0.5,
|
| 146 |
-
"step": 3000,
|
| 147 |
-
"loss": 1069.9776611328125,
|
| 148 |
-
"lam_mid": 0.4167,
|
| 149 |
-
"cur_depth": 3,
|
| 150 |
-
"s_per_step": 0.0338,
|
| 151 |
-
"wall_s": 101.3
|
| 152 |
-
},
|
| 153 |
-
{
|
| 154 |
-
"acc_d11": 0.2529,
|
| 155 |
-
"exact_d11": 0.2266,
|
| 156 |
-
"acc_d12": 0.9668,
|
| 157 |
-
"exact_d12": 0.75,
|
| 158 |
-
"acc_d13": 0.9717,
|
| 159 |
-
"exact_d13": 0.7969,
|
| 160 |
-
"acc_d14": 0.4834,
|
| 161 |
-
"exact_d14": 0.3594,
|
| 162 |
-
"acc_d15": 0.4854,
|
| 163 |
-
"exact_d15": 0.3672,
|
| 164 |
-
"acc_d16": 0.9727,
|
| 165 |
-
"exact_d16": 0.7969,
|
| 166 |
-
"heldout_byte_acc": 0.6888020833333334,
|
| 167 |
-
"heldout_record_exact": 0.5494791666666666,
|
| 168 |
-
"heldout_answer_bpb": 3.2749888617545366,
|
| 169 |
-
"heldout_min_exact": 0.2266,
|
| 170 |
-
"singleton_len1": 1.0,
|
| 171 |
-
"distinct_codes": 1.0,
|
| 172 |
-
"code_map": "[1, 0]",
|
| 173 |
-
"empty_word_rate": 0.0,
|
| 174 |
-
"word_purity": 0.8088235294117647,
|
| 175 |
-
"word_len_match": 0.8088235294117647,
|
| 176 |
-
"step": 4000,
|
| 177 |
-
"loss": 1071.894775390625,
|
| 178 |
-
"lam_mid": 0.5556,
|
| 179 |
-
"cur_depth": 4,
|
| 180 |
-
"s_per_step": 0.0353,
|
| 181 |
-
"wall_s": 141.2
|
| 182 |
-
},
|
| 183 |
-
{
|
| 184 |
-
"acc_d11": 0.9736,
|
| 185 |
-
"exact_d11": 0.7969,
|
| 186 |
-
"acc_d12": 0.9727,
|
| 187 |
-
"exact_d12": 0.8047,
|
| 188 |
-
"acc_d13": 0.9648,
|
| 189 |
-
"exact_d13": 0.75,
|
| 190 |
-
"acc_d14": 0.9648,
|
| 191 |
-
"exact_d14": 0.7734,
|
| 192 |
-
"acc_d15": 0.9727,
|
| 193 |
-
"exact_d15": 0.7812,
|
| 194 |
-
"acc_d16": 0.9746,
|
| 195 |
-
"exact_d16": 0.8047,
|
| 196 |
-
"heldout_byte_acc": 0.9705403645833334,
|
| 197 |
-
"heldout_record_exact": 0.78515625,
|
| 198 |
-
"heldout_answer_bpb": 0.5713307523304442,
|
| 199 |
-
"heldout_min_exact": 0.75,
|
| 200 |
-
"singleton_len1": 1.0,
|
| 201 |
-
"distinct_codes": 1.0,
|
| 202 |
-
"code_map": "[1, 0]",
|
| 203 |
-
"empty_word_rate": 0.0,
|
| 204 |
-
"word_purity": 0.9411764705882353,
|
| 205 |
-
"word_len_match": 0.9411764705882353,
|
| 206 |
-
"step": 5000,
|
| 207 |
-
"loss": 1070.2601318359375,
|
| 208 |
-
"lam_mid": 0.6945,
|
| 209 |
-
"cur_depth": 4,
|
| 210 |
-
"s_per_step": 0.0372,
|
| 211 |
-
"wall_s": 186.1
|
| 212 |
-
},
|
| 213 |
-
{
|
| 214 |
-
"acc_d11": 0.9727,
|
| 215 |
-
"exact_d11": 0.8047,
|
| 216 |
-
"acc_d12": 0.9756,
|
| 217 |
-
"exact_d12": 0.8203,
|
| 218 |
-
"acc_d13": 0.9648,
|
| 219 |
-
"exact_d13": 0.7734,
|
| 220 |
-
"acc_d14": 0.9756,
|
| 221 |
-
"exact_d14": 0.8047,
|
| 222 |
-
"acc_d15": 0.9619,
|
| 223 |
-
"exact_d15": 0.75,
|
| 224 |
-
"acc_d16": 0.959,
|
| 225 |
-
"exact_d16": 0.7109,
|
| 226 |
-
"heldout_byte_acc": 0.96826171875,
|
| 227 |
-
"heldout_record_exact": 0.77734375,
|
| 228 |
-
"heldout_answer_bpb": 0.6311265344847925,
|
| 229 |
-
"heldout_min_exact": 0.7109,
|
| 230 |
-
"singleton_len1": 1.0,
|
| 231 |
-
"distinct_codes": 1.0,
|
| 232 |
-
"code_map": "[1, 0]",
|
| 233 |
-
"empty_word_rate": 0.0,
|
| 234 |
-
"word_purity": 0.9411764705882353,
|
| 235 |
-
"word_len_match": 0.9411764705882353,
|
| 236 |
-
"step": 6000,
|
| 237 |
-
"loss": 1073.2105712890625,
|
| 238 |
-
"lam_mid": 0.8334,
|
| 239 |
-
"cur_depth": 5,
|
| 240 |
-
"s_per_step": 0.039,
|
| 241 |
-
"wall_s": 234.1
|
| 242 |
-
},
|
| 243 |
-
{
|
| 244 |
-
"acc_d11": 0.9766,
|
| 245 |
-
"exact_d11": 0.8281,
|
| 246 |
-
"acc_d12": 0.9814,
|
| 247 |
-
"exact_d12": 0.8672,
|
| 248 |
-
"acc_d13": 0.9766,
|
| 249 |
-
"exact_d13": 0.8359,
|
| 250 |
-
"acc_d14": 0.957,
|
| 251 |
-
"exact_d14": 0.7188,
|
| 252 |
-
"acc_d15": 0.9688,
|
| 253 |
-
"exact_d15": 0.7891,
|
| 254 |
-
"acc_d16": 0.001,
|
| 255 |
-
"exact_d16": 0.0,
|
| 256 |
-
"heldout_byte_acc": 0.8102213541666666,
|
| 257 |
-
"heldout_record_exact": 0.6731770833333334,
|
| 258 |
-
"heldout_answer_bpb": 4.8670559642851,
|
| 259 |
-
"heldout_min_exact": 0.0,
|
| 260 |
-
"singleton_len1": 1.0,
|
| 261 |
-
"distinct_codes": 1.0,
|
| 262 |
-
"code_map": "[1, 0]",
|
| 263 |
-
"empty_word_rate": 0.0,
|
| 264 |
-
"word_purity": 0.9117647058823529,
|
| 265 |
-
"word_len_match": 0.9117647058823529,
|
| 266 |
-
"step": 7000,
|
| 267 |
-
"loss": 1092.3985595703125,
|
| 268 |
-
"lam_mid": 0.9723,
|
| 269 |
-
"cur_depth": 6,
|
| 270 |
-
"s_per_step": 0.0409,
|
| 271 |
-
"wall_s": 286.6
|
| 272 |
-
},
|
| 273 |
-
{
|
| 274 |
-
"acc_d11": 0.9805,
|
| 275 |
-
"exact_d11": 0.8672,
|
| 276 |
-
"acc_d12": 0.4971,
|
| 277 |
-
"exact_d12": 0.4531,
|
| 278 |
-
"acc_d13": 0.9619,
|
| 279 |
-
"exact_d13": 0.75,
|
| 280 |
-
"acc_d14": 0.7285,
|
| 281 |
-
"exact_d14": 0.6016,
|
| 282 |
-
"acc_d15": 0.0029,
|
| 283 |
-
"exact_d15": 0.0,
|
| 284 |
-
"acc_d16": 0.7354,
|
| 285 |
-
"exact_d16": 0.6328,
|
| 286 |
-
"heldout_byte_acc": 0.6510416666666666,
|
| 287 |
-
"heldout_record_exact": 0.55078125,
|
| 288 |
-
"heldout_answer_bpb": 9.441053836548235,
|
| 289 |
-
"heldout_min_exact": 0.0,
|
| 290 |
-
"singleton_len1": 1.0,
|
| 291 |
-
"distinct_codes": 1.0,
|
| 292 |
-
"code_map": "[1, 0]",
|
| 293 |
-
"empty_word_rate": 0.0,
|
| 294 |
-
"word_purity": 0.8235294117647058,
|
| 295 |
-
"word_len_match": 0.8235294117647058,
|
| 296 |
-
"step": 8000,
|
| 297 |
-
"loss": 1072.7015380859375,
|
| 298 |
-
"lam_mid": 1.0,
|
| 299 |
-
"cur_depth": 7,
|
| 300 |
-
"s_per_step": 0.043,
|
| 301 |
-
"wall_s": 343.8
|
| 302 |
-
},
|
| 303 |
-
{
|
| 304 |
-
"acc_d11": 0.0029,
|
| 305 |
-
"exact_d11": 0.0,
|
| 306 |
-
"acc_d12": 0.0,
|
| 307 |
-
"exact_d12": 0.0,
|
| 308 |
-
"acc_d13": 0.001,
|
| 309 |
-
"exact_d13": 0.0,
|
| 310 |
-
"acc_d14": 0.0029,
|
| 311 |
-
"exact_d14": 0.0,
|
| 312 |
-
"acc_d15": 0.0059,
|
| 313 |
-
"exact_d15": 0.0,
|
| 314 |
-
"acc_d16": 0.0039,
|
| 315 |
-
"exact_d16": 0.0,
|
| 316 |
-
"heldout_byte_acc": 0.0027669270833333335,
|
| 317 |
-
"heldout_record_exact": 0.0,
|
| 318 |
-
"heldout_answer_bpb": 28.54506270090739,
|
| 319 |
-
"heldout_min_exact": 0.0,
|
| 320 |
-
"singleton_len1": 1.0,
|
| 321 |
-
"distinct_codes": 1.0,
|
| 322 |
-
"code_map": "[1, 0]",
|
| 323 |
-
"empty_word_rate": 0.0,
|
| 324 |
-
"word_purity": 0.47058823529411764,
|
| 325 |
-
"word_len_match": 0.5294117647058824,
|
| 326 |
-
"step": 9000,
|
| 327 |
-
"loss": 1075.28857421875,
|
| 328 |
-
"lam_mid": 1.0,
|
| 329 |
-
"cur_depth": 7,
|
| 330 |
-
"s_per_step": 0.0456,
|
| 331 |
-
"wall_s": 410.3
|
| 332 |
-
},
|
| 333 |
-
{
|
| 334 |
-
"acc_d11": 0.2441,
|
| 335 |
-
"exact_d11": 0.2109,
|
| 336 |
-
"acc_d12": 0.001,
|
| 337 |
-
"exact_d12": 0.0,
|
| 338 |
-
"acc_d13": 0.0,
|
| 339 |
-
"exact_d13": 0.0,
|
| 340 |
-
"acc_d14": 0.002,
|
| 341 |
-
"exact_d14": 0.0,
|
| 342 |
-
"acc_d15": 0.0,
|
| 343 |
-
"exact_d15": 0.0,
|
| 344 |
-
"acc_d16": 0.001,
|
| 345 |
-
"exact_d16": 0.0,
|
| 346 |
-
"heldout_byte_acc": 0.041341145833333336,
|
| 347 |
-
"heldout_record_exact": 0.03515625,
|
| 348 |
-
"heldout_answer_bpb": 27.560960097859304,
|
| 349 |
-
"heldout_min_exact": 0.0,
|
| 350 |
-
"singleton_len1": 1.0,
|
| 351 |
-
"distinct_codes": 1.0,
|
| 352 |
-
"code_map": "[1, 0]",
|
| 353 |
-
"empty_word_rate": 0.0,
|
| 354 |
-
"word_purity": 0.5441176470588235,
|
| 355 |
-
"word_len_match": 0.6029411764705882,
|
| 356 |
-
"step": 10000,
|
| 357 |
-
"loss": 1090.8309326171875,
|
| 358 |
-
"lam_mid": 1.0,
|
| 359 |
-
"cur_depth": 8,
|
| 360 |
-
"s_per_step": 0.0494,
|
| 361 |
-
"wall_s": 494.1
|
| 362 |
-
},
|
| 363 |
-
{
|
| 364 |
-
"acc_d11": 0.7314,
|
| 365 |
-
"exact_d11": 0.6094,
|
| 366 |
-
"acc_d12": 0.0,
|
| 367 |
-
"exact_d12": 0.0,
|
| 368 |
-
"acc_d13": 0.0029,
|
| 369 |
-
"exact_d13": 0.0,
|
| 370 |
-
"acc_d14": 0.001,
|
| 371 |
-
"exact_d14": 0.0,
|
| 372 |
-
"acc_d15": 0.0029,
|
| 373 |
-
"exact_d15": 0.0,
|
| 374 |
-
"acc_d16": 0.002,
|
| 375 |
-
"exact_d16": 0.0,
|
| 376 |
-
"heldout_byte_acc": 0.12337239583333333,
|
| 377 |
-
"heldout_record_exact": 0.1015625,
|
| 378 |
-
"heldout_answer_bpb": 25.518207534371566,
|
| 379 |
-
"heldout_min_exact": 0.0,
|
| 380 |
-
"singleton_len1": 1.0,
|
| 381 |
-
"distinct_codes": 1.0,
|
| 382 |
-
"code_map": "[1, 0]",
|
| 383 |
-
"empty_word_rate": 0.0,
|
| 384 |
-
"word_purity": 0.6617647058823529,
|
| 385 |
-
"word_len_match": 0.7794117647058824,
|
| 386 |
-
"step": 11000,
|
| 387 |
-
"loss": 1076.827392578125,
|
| 388 |
-
"lam_mid": 1.0,
|
| 389 |
-
"cur_depth": 9,
|
| 390 |
-
"s_per_step": 0.0554,
|
| 391 |
-
"wall_s": 609.8
|
| 392 |
-
},
|
| 393 |
-
{
|
| 394 |
-
"acc_d11": 0.7285,
|
| 395 |
-
"exact_d11": 0.5859,
|
| 396 |
-
"acc_d12": 0.7217,
|
| 397 |
-
"exact_d12": 0.5391,
|
| 398 |
-
"acc_d13": 0.4941,
|
| 399 |
-
"exact_d13": 0.4375,
|
| 400 |
-
"acc_d14": 0.9658,
|
| 401 |
-
"exact_d14": 0.7578,
|
| 402 |
-
"acc_d15": 0.4854,
|
| 403 |
-
"exact_d15": 0.3594,
|
| 404 |
-
"acc_d16": 0.9551,
|
| 405 |
-
"exact_d16": 0.6875,
|
| 406 |
-
"heldout_byte_acc": 0.72509765625,
|
| 407 |
-
"heldout_record_exact": 0.5611979166666666,
|
| 408 |
-
"heldout_answer_bpb": 6.584625447799529,
|
| 409 |
-
"heldout_min_exact": 0.3594,
|
| 410 |
-
"singleton_len1": 1.0,
|
| 411 |
-
"distinct_codes": 1.0,
|
| 412 |
-
"code_map": "[1, 0]",
|
| 413 |
-
"empty_word_rate": 0.0,
|
| 414 |
-
"word_purity": 0.8823529411764706,
|
| 415 |
-
"word_len_match": 0.8823529411764706,
|
| 416 |
-
"step": 12000,
|
| 417 |
-
"loss": 1430.6046142578125,
|
| 418 |
-
"lam_mid": 1.0,
|
| 419 |
-
"cur_depth": 10,
|
| 420 |
-
"s_per_step": 0.0644,
|
| 421 |
-
"wall_s": 772.3
|
| 422 |
-
},
|
| 423 |
-
{
|
| 424 |
-
"acc_d11": 0.7344,
|
| 425 |
-
"exact_d11": 0.625,
|
| 426 |
-
"acc_d12": 0.9834,
|
| 427 |
-
"exact_d12": 0.875,
|
| 428 |
-
"acc_d13": 0.9707,
|
| 429 |
-
"exact_d13": 0.7891,
|
| 430 |
-
"acc_d14": 0.9736,
|
| 431 |
-
"exact_d14": 0.8047,
|
| 432 |
-
"acc_d15": 0.9854,
|
| 433 |
-
"exact_d15": 0.8828,
|
| 434 |
-
"acc_d16": 0.9717,
|
| 435 |
-
"exact_d16": 0.8047,
|
| 436 |
-
"heldout_byte_acc": 0.9365234375,
|
| 437 |
-
"heldout_record_exact": 0.796875,
|
| 438 |
-
"heldout_answer_bpb": 1.4366021543683019,
|
| 439 |
-
"heldout_min_exact": 0.625,
|
| 440 |
-
"singleton_len1": 1.0,
|
| 441 |
-
"distinct_codes": 1.0,
|
| 442 |
-
"code_map": "[1, 0]",
|
| 443 |
-
"empty_word_rate": 0.0,
|
| 444 |
-
"word_purity": 0.9117647058823529,
|
| 445 |
-
"word_len_match": 0.9117647058823529,
|
| 446 |
-
"step": 13000,
|
| 447 |
-
"loss": 1351.4384765625,
|
| 448 |
-
"lam_mid": 1.0,
|
| 449 |
-
"cur_depth": 10,
|
| 450 |
-
"s_per_step": 0.0827,
|
| 451 |
-
"wall_s": 1074.5
|
| 452 |
-
},
|
| 453 |
-
{
|
| 454 |
-
"acc_d11": 0.7422,
|
| 455 |
-
"exact_d11": 0.6641,
|
| 456 |
-
"acc_d12": 0.2441,
|
| 457 |
-
"exact_d12": 0.1953,
|
| 458 |
-
"acc_d13": 0.4961,
|
| 459 |
-
"exact_d13": 0.4609,
|
| 460 |
-
"acc_d14": 0.248,
|
| 461 |
-
"exact_d14": 0.2266,
|
| 462 |
-
"acc_d15": 0.4844,
|
| 463 |
-
"exact_d15": 0.3594,
|
| 464 |
-
"acc_d16": 0.2441,
|
| 465 |
-
"exact_d16": 0.1406,
|
| 466 |
-
"heldout_byte_acc": 0.4098307291666667,
|
| 467 |
-
"heldout_record_exact": 0.3411458333333333,
|
| 468 |
-
"heldout_answer_bpb": 16.392654671273096,
|
| 469 |
-
"heldout_min_exact": 0.1406,
|
| 470 |
-
"singleton_len1": 1.0,
|
| 471 |
-
"distinct_codes": 1.0,
|
| 472 |
-
"code_map": "[1, 0]",
|
| 473 |
-
"empty_word_rate": 0.0,
|
| 474 |
-
"word_purity": 0.7058823529411765,
|
| 475 |
-
"word_len_match": 0.8235294117647058,
|
| 476 |
-
"step": 14000,
|
| 477 |
-
"loss": 1343.8543701171875,
|
| 478 |
-
"lam_mid": 1.0,
|
| 479 |
-
"cur_depth": 10,
|
| 480 |
-
"s_per_step": 0.0983,
|
| 481 |
-
"wall_s": 1376.7
|
| 482 |
-
},
|
| 483 |
-
{
|
| 484 |
-
"acc_d11": 0.2549,
|
| 485 |
-
"exact_d11": 0.2344,
|
| 486 |
-
"acc_d12": 0.0078,
|
| 487 |
-
"exact_d12": 0.0,
|
| 488 |
-
"acc_d13": 0.2402,
|
| 489 |
-
"exact_d13": 0.1641,
|
| 490 |
-
"acc_d14": 0.248,
|
| 491 |
-
"exact_d14": 0.2344,
|
| 492 |
-
"acc_d15": 0.0,
|
| 493 |
-
"exact_d15": 0.0,
|
| 494 |
-
"acc_d16": 0.0029,
|
| 495 |
-
"exact_d16": 0.0,
|
| 496 |
-
"heldout_byte_acc": 0.12565104166666666,
|
| 497 |
-
"heldout_record_exact": 0.10546875,
|
| 498 |
-
"heldout_answer_bpb": 24.851850203849608,
|
| 499 |
-
"heldout_min_exact": 0.0,
|
| 500 |
-
"singleton_len1": 1.0,
|
| 501 |
-
"distinct_codes": 1.0,
|
| 502 |
-
"code_map": "[1, 0]",
|
| 503 |
-
"empty_word_rate": 0.0,
|
| 504 |
-
"word_purity": 0.5735294117647058,
|
| 505 |
-
"word_len_match": 0.9117647058823529,
|
| 506 |
-
"step": 15000,
|
| 507 |
-
"loss": 1250.4239501953125,
|
| 508 |
-
"lam_mid": 1.0,
|
| 509 |
-
"cur_depth": 10,
|
| 510 |
-
"s_per_step": 0.112,
|
| 511 |
-
"wall_s": 1679.4
|
| 512 |
-
},
|
| 513 |
-
{
|
| 514 |
-
"acc_d11": 0.9775,
|
| 515 |
-
"exact_d11": 0.8359,
|
| 516 |
-
"acc_d12": 0.4863,
|
| 517 |
-
"exact_d12": 0.3828,
|
| 518 |
-
"acc_d13": 0.0068,
|
| 519 |
-
"exact_d13": 0.0,
|
| 520 |
-
"acc_d14": 0.0049,
|
| 521 |
-
"exact_d14": 0.0,
|
| 522 |
-
"acc_d15": 0.0059,
|
| 523 |
-
"exact_d15": 0.0,
|
| 524 |
-
"acc_d16": 0.0,
|
| 525 |
-
"exact_d16": 0.0,
|
| 526 |
-
"heldout_byte_acc": 0.24690755208333334,
|
| 527 |
-
"heldout_record_exact": 0.203125,
|
| 528 |
-
"heldout_answer_bpb": 21.073423287753638,
|
| 529 |
-
"heldout_min_exact": 0.0,
|
| 530 |
-
"singleton_len1": 1.0,
|
| 531 |
-
"distinct_codes": 1.0,
|
| 532 |
-
"code_map": "[1, 0]",
|
| 533 |
-
"empty_word_rate": 0.0,
|
| 534 |
-
"word_purity": 0.6470588235294118,
|
| 535 |
-
"word_len_match": 0.6764705882352942,
|
| 536 |
-
"step": 16000,
|
| 537 |
-
"loss": 1209.591796875,
|
| 538 |
-
"lam_mid": 1.0,
|
| 539 |
-
"cur_depth": 10,
|
| 540 |
-
"s_per_step": 0.1238,
|
| 541 |
-
"wall_s": 1981.1
|
| 542 |
-
},
|
| 543 |
-
{
|
| 544 |
-
"acc_d11": 0.4961,
|
| 545 |
-
"exact_d11": 0.4531,
|
| 546 |
-
"acc_d12": 0.0068,
|
| 547 |
-
"exact_d12": 0.0,
|
| 548 |
-
"acc_d13": 0.002,
|
| 549 |
-
"exact_d13": 0.0,
|
| 550 |
-
"acc_d14": 0.0039,
|
| 551 |
-
"exact_d14": 0.0,
|
| 552 |
-
"acc_d15": 0.0098,
|
| 553 |
-
"exact_d15": 0.0,
|
| 554 |
-
"acc_d16": 0.001,
|
| 555 |
-
"exact_d16": 0.0,
|
| 556 |
-
"heldout_byte_acc": 0.08658854166666667,
|
| 557 |
-
"heldout_record_exact": 0.07552083333333333,
|
| 558 |
-
"heldout_answer_bpb": 25.519616572360974,
|
| 559 |
-
"heldout_min_exact": 0.0,
|
| 560 |
-
"singleton_len1": 1.0,
|
| 561 |
-
"distinct_codes": 1.0,
|
| 562 |
-
"code_map": "[1, 0]",
|
| 563 |
-
"empty_word_rate": 0.0,
|
| 564 |
-
"word_purity": 0.6176470588235294,
|
| 565 |
-
"word_len_match": 0.6176470588235294,
|
| 566 |
-
"step": 17000,
|
| 567 |
-
"loss": 1169.27978515625,
|
| 568 |
-
"lam_mid": 1.0,
|
| 569 |
-
"cur_depth": 10,
|
| 570 |
-
"s_per_step": 0.1343,
|
| 571 |
-
"wall_s": 2283.5
|
| 572 |
-
},
|
| 573 |
-
{
|
| 574 |
-
"acc_d11": 0.4902,
|
| 575 |
-
"exact_d11": 0.4219,
|
| 576 |
-
"acc_d12": 0.0098,
|
| 577 |
-
"exact_d12": 0.0,
|
| 578 |
-
"acc_d13": 0.0029,
|
| 579 |
-
"exact_d13": 0.0,
|
| 580 |
-
"acc_d14": 0.0049,
|
| 581 |
-
"exact_d14": 0.0,
|
| 582 |
-
"acc_d15": 0.001,
|
| 583 |
-
"exact_d15": 0.0,
|
| 584 |
-
"acc_d16": 0.0068,
|
| 585 |
-
"exact_d16": 0.0,
|
| 586 |
-
"heldout_byte_acc": 0.0859375,
|
| 587 |
-
"heldout_record_exact": 0.0703125,
|
| 588 |
-
"heldout_answer_bpb": 26.22223921236582,
|
| 589 |
-
"heldout_min_exact": 0.0,
|
| 590 |
-
"singleton_len1": 1.0,
|
| 591 |
-
"distinct_codes": 1.0,
|
| 592 |
-
"code_map": "[1, 0]",
|
| 593 |
-
"empty_word_rate": 0.0,
|
| 594 |
-
"word_purity": 0.6470588235294118,
|
| 595 |
-
"word_len_match": 0.6470588235294118,
|
| 596 |
-
"step": 18000,
|
| 597 |
-
"loss": 1192.6099853515625,
|
| 598 |
-
"lam_mid": 1.0,
|
| 599 |
-
"cur_depth": 10,
|
| 600 |
-
"s_per_step": 0.1437,
|
| 601 |
-
"wall_s": 2585.8
|
| 602 |
-
},
|
| 603 |
-
{
|
| 604 |
-
"acc_d11": 0.2422,
|
| 605 |
-
"exact_d11": 0.1797,
|
| 606 |
-
"acc_d12": 0.0029,
|
| 607 |
-
"exact_d12": 0.0,
|
| 608 |
-
"acc_d13": 0.002,
|
| 609 |
-
"exact_d13": 0.0,
|
| 610 |
-
"acc_d14": 0.0156,
|
| 611 |
-
"exact_d14": 0.0,
|
| 612 |
-
"acc_d15": 0.0059,
|
| 613 |
-
"exact_d15": 0.0,
|
| 614 |
-
"acc_d16": 0.002,
|
| 615 |
-
"exact_d16": 0.0,
|
| 616 |
-
"heldout_byte_acc": 0.045084635416666664,
|
| 617 |
-
"heldout_record_exact": 0.029947916666666668,
|
| 618 |
-
"heldout_answer_bpb": 27.265621624266107,
|
| 619 |
-
"heldout_min_exact": 0.0,
|
| 620 |
-
"singleton_len1": 1.0,
|
| 621 |
-
"distinct_codes": 1.0,
|
| 622 |
-
"code_map": "[1, 0]",
|
| 623 |
-
"empty_word_rate": 0.0,
|
| 624 |
-
"word_purity": 0.5588235294117647,
|
| 625 |
-
"word_len_match": 0.5735294117647058,
|
| 626 |
-
"step": 19000,
|
| 627 |
-
"loss": 1125.71728515625,
|
| 628 |
-
"lam_mid": 1.0,
|
| 629 |
-
"cur_depth": 10,
|
| 630 |
-
"s_per_step": 0.152,
|
| 631 |
-
"wall_s": 2888.2
|
| 632 |
-
},
|
| 633 |
-
{
|
| 634 |
-
"acc_d11": 0.9619,
|
| 635 |
-
"exact_d11": 0.7344,
|
| 636 |
-
"acc_d12": 0.7324,
|
| 637 |
-
"exact_d12": 0.6094,
|
| 638 |
-
"acc_d13": 0.0146,
|
| 639 |
-
"exact_d13": 0.0,
|
| 640 |
-
"acc_d14": 0.2441,
|
| 641 |
-
"exact_d14": 0.1875,
|
| 642 |
-
"acc_d15": 0.499,
|
| 643 |
-
"exact_d15": 0.4062,
|
| 644 |
-
"acc_d16": 0.2334,
|
| 645 |
-
"exact_d16": 0.125,
|
| 646 |
-
"heldout_byte_acc": 0.4475911458333333,
|
| 647 |
-
"heldout_record_exact": 0.34375,
|
| 648 |
-
"heldout_answer_bpb": 15.308971421109163,
|
| 649 |
-
"heldout_min_exact": 0.0,
|
| 650 |
-
"singleton_len1": 1.0,
|
| 651 |
-
"distinct_codes": 1.0,
|
| 652 |
-
"code_map": "[1, 0]",
|
| 653 |
-
"empty_word_rate": 0.0,
|
| 654 |
-
"word_purity": 0.7794117647058824,
|
| 655 |
-
"word_len_match": 0.8676470588235294,
|
| 656 |
-
"step": 20000,
|
| 657 |
-
"loss": 1118.7110595703125,
|
| 658 |
-
"lam_mid": 1.0,
|
| 659 |
-
"cur_depth": 10,
|
| 660 |
-
"s_per_step": 0.1595,
|
| 661 |
-
"wall_s": 3190.5
|
| 662 |
}
|
| 663 |
],
|
| 664 |
"final": {
|
| 665 |
-
"acc_d11": 0.
|
| 666 |
-
"exact_d11": 0.
|
| 667 |
-
"acc_d12": 0.
|
| 668 |
-
"exact_d12": 0.
|
| 669 |
-
"acc_d13": 0.
|
| 670 |
"exact_d13": 0.0,
|
| 671 |
-
"acc_d14": 0.
|
| 672 |
-
"exact_d14": 0.
|
| 673 |
-
"acc_d15": 0.
|
| 674 |
-
"exact_d15": 0.
|
| 675 |
-
"acc_d16": 0.
|
| 676 |
-
"exact_d16": 0.
|
| 677 |
-
"heldout_byte_acc": 0.
|
| 678 |
-
"heldout_record_exact": 0.
|
| 679 |
-
"heldout_answer_bpb":
|
| 680 |
"heldout_min_exact": 0.0,
|
| 681 |
-
"singleton_len1":
|
| 682 |
-
"distinct_codes":
|
| 683 |
-
"code_map": "[
|
| 684 |
"empty_word_rate": 0.0,
|
| 685 |
-
"word_purity": 0.
|
| 686 |
-
"word_len_match": 0.
|
| 687 |
-
"
|
| 688 |
-
"
|
| 689 |
-
"
|
| 690 |
-
"
|
| 691 |
-
"
|
| 692 |
-
"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 693 |
}
|
| 694 |
}
|
| 695 |
],
|
| 696 |
-
"partial": true
|
|
|
|
|
|
|
|
|
|
| 697 |
}
|
|
|
|
| 5 |
0
|
| 6 |
],
|
| 7 |
"nonce": 0,
|
| 8 |
+
"steps": 4000,
|
| 9 |
"events": 2,
|
| 10 |
"m_records": 16,
|
| 11 |
"d": 64,
|
|
|
|
| 18 |
"lam_a": 0.02,
|
| 19 |
"mid_warmup": 0.3,
|
| 20 |
"curriculum": 0.5,
|
| 21 |
+
"straight_through": false,
|
| 22 |
+
"st_after": 0.0,
|
| 23 |
+
"act_init": 4.0,
|
| 24 |
+
"sampled": true,
|
| 25 |
"eps": 0.05,
|
| 26 |
"device": "cuda",
|
| 27 |
"runs": [
|
|
|
|
| 30 |
"oracle": {
|
| 31 |
"worst_acc": 1.0,
|
| 32 |
"worst_depth": -1,
|
| 33 |
+
"max_mid_entropy": 0.0010694698430597782,
|
| 34 |
"pass": true
|
| 35 |
},
|
| 36 |
"history": [
|
| 37 |
{
|
| 38 |
+
"acc_d11": 0.0029,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 39 |
"exact_d11": 0.0,
|
| 40 |
+
"acc_d12": 0.0,
|
| 41 |
"exact_d12": 0.0,
|
| 42 |
+
"acc_d13": 0.001,
|
| 43 |
"exact_d13": 0.0,
|
| 44 |
"acc_d14": 0.0039,
|
| 45 |
"exact_d14": 0.0,
|
| 46 |
+
"acc_d15": 0.0049,
|
| 47 |
"exact_d15": 0.0,
|
| 48 |
+
"acc_d16": 0.001,
|
| 49 |
"exact_d16": 0.0,
|
| 50 |
+
"heldout_byte_acc": 0.0022786458333333335,
|
| 51 |
"heldout_record_exact": 0.0,
|
| 52 |
+
"heldout_answer_bpb": 8.070003479719162,
|
| 53 |
"heldout_min_exact": 0.0,
|
| 54 |
"singleton_len1": 0.0,
|
| 55 |
"distinct_codes": 0.0,
|
|
|
|
| 57 |
"empty_word_rate": 0.0,
|
| 58 |
"word_purity": 0.0,
|
| 59 |
"word_len_match": 0.0,
|
| 60 |
+
"clip_compiler_symbols": 0.292,
|
| 61 |
+
"clip_compiler_reader": 0.745,
|
| 62 |
+
"clip_actions": 5.37,
|
| 63 |
+
"clip_carrier": 21.592,
|
| 64 |
+
"clip_spine": 3924.82,
|
| 65 |
+
"step": 0,
|
| 66 |
+
"loss": 4108.3876953125,
|
| 67 |
+
"train_bits": 4101.78,
|
| 68 |
+
"lam_mid": 0.0,
|
| 69 |
"cur_depth": 1,
|
| 70 |
+
"st": 0,
|
| 71 |
+
"s_per_step": 1.5836,
|
| 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.5836,
|
| 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
|
| 118 |
}
|