Upload g1fs16_field_s0.json with huggingface_hub

g1fs16_field_s0.json

@@ -68,7 +68,7 @@
      "lam_mid": 0.0,
      "cur_depth": 1,
      "st": 0,
-     "s_per_step": 1.5857,
+     "s_per_step": 1.6011,
      "wall_s": 1.6
     },
     {
@@ -108,128 +108,8 @@
      "lam_mid": 0.8335,
      "cur_depth": 5,
      "st": 0,
-     "s_per_step": 0.0428,
-     "wall_s": 42.8
-    },
-    {
-     "acc_d11": 1.0,
-     "exact_d11": 1.0,
-     "acc_d12": 1.0,
-     "exact_d12": 1.0,
-     "acc_d13": 1.0,
-     "exact_d13": 1.0,
-     "acc_d14": 1.0,
-     "exact_d14": 1.0,
-     "acc_d15": 1.0,
-     "exact_d15": 1.0,
-     "acc_d16": 1.0,
-     "exact_d16": 1.0,
-     "heldout_byte_acc": 1.0,
-     "heldout_record_exact": 1.0,
-     "heldout_answer_bpb": 2.2038615957361194e-06,
-     "heldout_min_exact": 1.0,
-     "singleton_len1": 1.0,
-     "distinct_codes": 1.0,
-     "code_map": "[1, 0]",
-     "empty_word_rate": 1.0,
-     "word_purity": 1.0,
-     "word_len_match": 1.0,
-     "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]",
-     "purity_trained": 1.0,
-     "purity_closure": 1.0,
-     "clip_compiler_symbols": 0.038,
-     "clip_compiler_reader": 0.016,
-     "clip_actions": 0.009,
-     "clip_carrier": 0.014,
-     "clip_spine": 836.86,
-     "step": 2000,
-     "loss": 1269.499755859375,
-     "train_bits": 1269.57,
-     "lam_mid": 1.0,
-     "cur_depth": 10,
-     "st": 0,
-     "s_per_step": 0.0553,
-     "wall_s": 110.5
-    },
-    {
-     "acc_d11": 1.0,
-     "exact_d11": 1.0,
-     "acc_d12": 1.0,
-     "exact_d12": 1.0,
-     "acc_d13": 1.0,
-     "exact_d13": 1.0,
-     "acc_d14": 1.0,
-     "exact_d14": 1.0,
-     "acc_d15": 1.0,
-     "exact_d15": 1.0,
-     "acc_d16": 1.0,
-     "exact_d16": 1.0,
-     "heldout_byte_acc": 1.0,
-     "heldout_record_exact": 1.0,
-     "heldout_answer_bpb": 7.306181046828897e-07,
-     "heldout_min_exact": 1.0,
-     "singleton_len1": 1.0,
-     "distinct_codes": 1.0,
-     "code_map": "[1, 0]",
-     "empty_word_rate": 1.0,
-     "word_purity": 1.0,
-     "word_len_match": 1.0,
-     "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]",
-     "purity_trained": 1.0,
-     "purity_closure": 1.0,
-     "clip_compiler_symbols": 0.013,
-     "clip_compiler_reader": 0.006,
-     "clip_actions": 0.002,
-     "clip_carrier": 0.004,
-     "clip_spine": 31085.568,
-     "step": 3000,
-     "loss": 1317.166259765625,
-     "train_bits": 1317.24,
-     "lam_mid": 1.0,
-     "cur_depth": 10,
-     "st": 0,
-     "s_per_step": 0.0879,
-     "wall_s": 263.8
-    },
-    {
-     "acc_d11": 1.0,
-     "exact_d11": 1.0,
-     "acc_d12": 1.0,
-     "exact_d12": 1.0,
-     "acc_d13": 1.0,
-     "exact_d13": 1.0,
-     "acc_d14": 1.0,
-     "exact_d14": 1.0,
-     "acc_d15": 1.0,
-     "exact_d15": 1.0,
-     "acc_d16": 1.0,
-     "exact_d16": 1.0,
-     "heldout_byte_acc": 1.0,
-     "heldout_record_exact": 1.0,
-     "heldout_answer_bpb": 2.6371227409190584e-07,
-     "heldout_min_exact": 1.0,
-     "singleton_len1": 1.0,
-     "distinct_codes": 1.0,
-     "code_map": "[1, 0]",
-     "empty_word_rate": 1.0,
-     "word_purity": 1.0,
-     "word_len_match": 1.0,
-     "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]",
-     "purity_trained": 1.0,
-     "purity_closure": 1.0,
-     "clip_compiler_symbols": 0.006,
-     "clip_compiler_reader": 0.003,
-     "clip_actions": 0.002,
-     "clip_carrier": 0.002,
-     "clip_spine": 1328.123,
-     "step": 3999,
-     "loss": 1189.0423583984375,
-     "train_bits": 1189.12,
-     "lam_mid": 1.0,
-     "cur_depth": 10,
-     "st": 0,
-     "s_per_step": 0.1042,
-     "wall_s": 416.9
+     "s_per_step": 0.0426,
+     "wall_s": 42.6
     }
    ],
    "final": {
@@ -247,7 +127,7 @@
     "exact_d16": 1.0,
     "heldout_byte_acc": 1.0,
     "heldout_record_exact": 1.0,
-    "heldout_answer_bpb": 2.6371227409190584e-07,
+    "heldout_answer_bpb": 6.597766677411225e-05,
     "heldout_min_exact": 1.0,
     "singleton_len1": 1.0,
     "distinct_codes": 1.0,
@@ -258,23 +138,23 @@
     "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]",
     "purity_trained": 1.0,
     "purity_closure": 1.0,
-    "clip_compiler_symbols": 0.006,
-    "clip_compiler_reader": 0.003,
-    "clip_actions": 0.002,
-    "clip_carrier": 0.002,
-    "clip_spine": 1328.123,
-    "step": 3999,
-    "loss": 1189.0423583984375,
-    "train_bits": 1189.12,
-    "lam_mid": 1.0,
-    "cur_depth": 10,
+    "clip_compiler_symbols": 0.179,
+    "clip_compiler_reader": 0.084,
+    "clip_actions": 0.078,
+    "clip_carrier": 0.132,
+    "clip_spine": 521.526,
+    "step": 1000,
+    "loss": 1155.8621826171875,
+    "train_bits": 1155.9,
+    "lam_mid": 0.8335,
+    "cur_depth": 5,
     "st": 0,
-    "s_per_step": 0.1042,
-    "wall_s": 416.9
+    "s_per_step": 0.0426,
+    "wall_s": 42.6
    }
   }
  ],
- "partial": false,
+ "partial": true,
  "result_file": "g1fs16_field_s0.json",
  "off_law": {},
  "certification_geometry": true