Upload g1fs16_field_s1.json with huggingface_hub

g1fs16_field_s1.json

@@ -5,7 +5,7 @@
   1
  ],
  "nonce": 0,
- "steps": 24000,
+ "steps": 4000,
  "events": 2,
  "m_records": 16,
  "d": 64,
@@ -18,6 +18,10 @@
  "lam_a": 0.02,
  "mid_warmup": 0.3,
  "curriculum": 0.5,
+ "straight_through": false,
+ "st_after": 0.0,
+ "act_init": 4.0,
+ "sampled": true,
  "eps": 0.05,
  "device": "cuda",
  "runs": [
@@ -26,462 +30,95 @@
    "oracle": {
     "worst_acc": 1.0,
     "worst_depth": -1,
-    "max_mid_entropy": 0.0008305579540319741,
+    "max_mid_entropy": 0.00111165561247617,
     "pass": true
    },
    "history": [
     {
-     "acc_d11": 0.002,
+     "acc_d11": 0.001,
      "exact_d11": 0.0,
-     "acc_d12": 0.0,
+     "acc_d12": 0.0098,
      "exact_d12": 0.0,
-     "acc_d13": 0.001,
+     "acc_d13": 0.0049,
      "exact_d13": 0.0,
-     "acc_d14": 0.0039,
+     "acc_d14": 0.002,
      "exact_d14": 0.0,
      "acc_d15": 0.001,
      "exact_d15": 0.0,
-     "acc_d16": 0.0039,
+     "acc_d16": 0.0029,
      "exact_d16": 0.0,
-     "heldout_byte_acc": 0.001953125,
+     "heldout_byte_acc": 0.0035807291666666665,
      "heldout_record_exact": 0.0,
-     "heldout_answer_bpb": 8.017661114533743,
+     "heldout_answer_bpb": 8.063950260480246,
      "heldout_min_exact": 0.0,
      "singleton_len1": 1.0,
-     "distinct_codes": 0.0,
-     "code_map": "[1, 1]",
+     "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.191,
+     "clip_compiler_reader": 0.446,
+     "clip_actions": 6.932,
+     "clip_carrier": 27.772,
+     "clip_spine": 4388.268,
      "step": 0,
-     "loss": 4167.23095703125,
+     "loss": 4173.91943359375,
+     "train_bits": 4166.47,
      "lam_mid": 0.0,
      "cur_depth": 1,
-     "s_per_step": 1.9051,
-     "wall_s": 1.9
-    },
-    {
-     "acc_d11": 0.0029,
-     "exact_d11": 0.0,
-     "acc_d12": 0.0039,
-     "exact_d12": 0.0,
-     "acc_d13": 0.0029,
-     "exact_d13": 0.0,
-     "acc_d14": 0.0098,
-     "exact_d14": 0.0,
-     "acc_d15": 0.0,
-     "exact_d15": 0.0,
-     "acc_d16": 0.0039,
-     "exact_d16": 0.0,
-     "heldout_byte_acc": 0.00390625,
-     "heldout_record_exact": 0.0,
-     "heldout_answer_bpb": 11.146250744660696,
-     "heldout_min_exact": 0.0,
-     "singleton_len1": 0.0,
-     "distinct_codes": 0.0,
-     "code_map": "[None, None]",
-     "empty_word_rate": 0.0,
-     "word_purity": 0.0,
-     "word_len_match": 0.0,
-     "step": 1000,
-     "loss": 1126.985107421875,
-     "lam_mid": 0.1389,
-     "cur_depth": 1,
-     "s_per_step": 0.0374,
-     "wall_s": 37.4
-    },
-    {
-     "acc_d11": 0.7471,
-     "exact_d11": 0.7266,
-     "acc_d12": 0.749,
-     "exact_d12": 0.7344,
-     "acc_d13": 0.501,
-     "exact_d13": 0.4922,
-     "acc_d14": 0.9971,
-     "exact_d14": 0.9766,
-     "acc_d15": 0.2539,
-     "exact_d15": 0.2422,
-     "acc_d16": 0.252,
-     "exact_d16": 0.25,
-     "heldout_byte_acc": 0.5833333333333334,
-     "heldout_record_exact": 0.5703125,
-     "heldout_answer_bpb": 6.980279266494715,
-     "heldout_min_exact": 0.2422,
-     "singleton_len1": 0.5,
-     "distinct_codes": 0.0,
-     "code_map": "[1, None]",
-     "empty_word_rate": 0.0,
-     "word_purity": 0.0,
-     "word_len_match": 0.0,
-     "step": 2000,
-     "loss": 1109.380615234375,
-     "lam_mid": 0.2778,
-     "cur_depth": 2,
-     "s_per_step": 0.0382,
-     "wall_s": 76.5
-    },
-    {
-     "acc_d11": 1.0,
-     "exact_d11": 1.0,
-     "acc_d12": 0.999,
-     "exact_d12": 0.9922,
-     "acc_d13": 1.0,
-     "exact_d13": 1.0,
-     "acc_d14": 0.999,
-     "exact_d14": 0.9922,
-     "acc_d15": 1.0,
-     "exact_d15": 1.0,
-     "acc_d16": 0.752,
-     "exact_d16": 0.75,
-     "heldout_byte_acc": 0.9583333333333334,
-     "heldout_record_exact": 0.9557291666666666,
-     "heldout_answer_bpb": 0.915579057799429,
-     "heldout_min_exact": 0.75,
-     "singleton_len1": 1.0,
-     "distinct_codes": 1.0,
-     "code_map": "[1, 0]",
-     "empty_word_rate": 0.0,
-     "word_purity": 0.8970588235294118,
-     "word_len_match": 0.9411764705882353,
-     "step": 3000,
-     "loss": 1065.76220703125,
-     "lam_mid": 0.4167,
-     "cur_depth": 3,
-     "s_per_step": 0.0398,
-     "wall_s": 119.5
-    },
-    {
-     "acc_d11": 1.0,
-     "exact_d11": 1.0,
-     "acc_d12": 1.0,
-     "exact_d12": 1.0,
-     "acc_d13": 0.7529,
-     "exact_d13": 0.75,
-     "acc_d14": 0.75,
-     "exact_d14": 0.75,
-     "acc_d15": 0.502,
-     "exact_d15": 0.5,
-     "acc_d16": 0.749,
-     "exact_d16": 0.7422,
-     "heldout_byte_acc": 0.7923177083333334,
-     "heldout_record_exact": 0.7903645833333334,
-     "heldout_answer_bpb": 4.441077280802044,
-     "heldout_min_exact": 0.5,
-     "singleton_len1": 1.0,
-     "distinct_codes": 1.0,
-     "code_map": "[1, 0]",
-     "empty_word_rate": 0.0,
-     "word_purity": 0.7941176470588235,
-     "word_len_match": 0.9411764705882353,
-     "step": 4000,
-     "loss": 1060.986572265625,
-     "lam_mid": 0.5556,
-     "cur_depth": 4,
-     "s_per_step": 0.0413,
-     "wall_s": 165.2
-    },
-    {
-     "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": 0.0010336270606785547,
-     "heldout_min_exact": 1.0,
-     "singleton_len1": 1.0,
-     "distinct_codes": 1.0,
-     "code_map": "[1, 0]",
-     "empty_word_rate": 0.0,
-     "word_purity": 0.9411764705882353,
-     "word_len_match": 0.9411764705882353,
-     "step": 5000,
-     "loss": 1068.0135498046875,
-     "lam_mid": 0.6945,
-     "cur_depth": 4,
-     "s_per_step": 0.0432,
-     "wall_s": 216.1
-    },
-    {
-     "acc_d11": 0.0078,
-     "exact_d11": 0.0,
-     "acc_d12": 0.0049,
-     "exact_d12": 0.0,
-     "acc_d13": 0.0039,
-     "exact_d13": 0.0,
-     "acc_d14": 0.0039,
-     "exact_d14": 0.0,
-     "acc_d15": 0.001,
-     "exact_d15": 0.0,
-     "acc_d16": 0.0049,
-     "exact_d16": 0.0,
-     "heldout_byte_acc": 0.00439453125,
-     "heldout_record_exact": 0.0,
-     "heldout_answer_bpb": 25.32157337665558,
-     "heldout_min_exact": 0.0,
-     "singleton_len1": 1.0,
-     "distinct_codes": 1.0,
-     "code_map": "[1, 0]",
-     "empty_word_rate": 0.0,
-     "word_purity": 0.45588235294117646,
-     "word_len_match": 0.47058823529411764,
-     "step": 6000,
-     "loss": 1073.6715087890625,
-     "lam_mid": 0.8334,
-     "cur_depth": 5,
-     "s_per_step": 0.0452,
-     "wall_s": 271.0
-    },
-    {
-     "acc_d11": 1.0,
-     "exact_d11": 1.0,
-     "acc_d12": 0.999,
-     "exact_d12": 0.9922,
-     "acc_d13": 0.75,
-     "exact_d13": 0.75,
-     "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": 0.9581705729166666,
-     "heldout_record_exact": 0.95703125,
-     "heldout_answer_bpb": 1.0643442860672583,
-     "heldout_min_exact": 0.75,
-     "singleton_len1": 1.0,
-     "distinct_codes": 1.0,
-     "code_map": "[1, 0]",
-     "empty_word_rate": 0.0,
-     "word_purity": 0.9411764705882353,
-     "word_len_match": 0.9411764705882353,
-     "step": 7000,
-     "loss": 1074.45654296875,
-     "lam_mid": 0.9723,
-     "cur_depth": 6,
-     "s_per_step": 0.0472,
-     "wall_s": 330.4
-    },
-    {
-     "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": 0.00041091217038532096,
-     "heldout_min_exact": 1.0,
-     "singleton_len1": 1.0,
-     "distinct_codes": 1.0,
-     "code_map": "[1, 0]",
-     "empty_word_rate": 0.0,
-     "word_purity": 0.9411764705882353,
-     "word_len_match": 0.9411764705882353,
-     "step": 8000,
-     "loss": 1074.905517578125,
-     "lam_mid": 1.0,
-     "cur_depth": 7,
-     "s_per_step": 0.0493,
-     "wall_s": 394.6
-    },
-    {
-     "acc_d11": 0.2549,
-     "exact_d11": 0.25,
-     "acc_d12": 0.0098,
-     "exact_d12": 0.0,
-     "acc_d13": 0.0059,
-     "exact_d13": 0.0,
-     "acc_d14": 0.0049,
-     "exact_d14": 0.0,
-     "acc_d15": 0.0098,
-     "exact_d15": 0.0,
-     "acc_d16": 0.0059,
-     "exact_d16": 0.0,
-     "heldout_byte_acc": 0.048502604166666664,
-     "heldout_record_exact": 0.041666666666666664,
-     "heldout_answer_bpb": 26.449779225510913,
-     "heldout_min_exact": 0.0,
-     "singleton_len1": 1.0,
-     "distinct_codes": 1.0,
-     "code_map": "[1, 0]",
-     "empty_word_rate": 0.0,
-     "word_purity": 0.5735294117647058,
-     "word_len_match": 0.7058823529411765,
-     "step": 9000,
-     "loss": 1076.8670654296875,
-     "lam_mid": 1.0,
-     "cur_depth": 7,
-     "s_per_step": 0.0521,
-     "wall_s": 468.7
-    },
-    {
-     "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": 0.0005391877515279475,
-     "heldout_min_exact": 1.0,
-     "singleton_len1": 1.0,
-     "distinct_codes": 1.0,
-     "code_map": "[1, 0]",
-     "empty_word_rate": 0.0,
-     "word_purity": 0.9411764705882353,
-     "word_len_match": 0.9411764705882353,
-     "step": 10000,
-     "loss": 1089.432373046875,
-     "lam_mid": 1.0,
-     "cur_depth": 8,
-     "s_per_step": 0.0557,
-     "wall_s": 556.8
-    },
-    {
-     "acc_d11": 0.2539,
-     "exact_d11": 0.25,
-     "acc_d12": 0.2598,
-     "exact_d12": 0.25,
-     "acc_d13": 0.0078,
-     "exact_d13": 0.0,
-     "acc_d14": 0.001,
-     "exact_d14": 0.0,
-     "acc_d15": 0.0068,
-     "exact_d15": 0.0,
-     "acc_d16": 0.0049,
-     "exact_d16": 0.0,
-     "heldout_byte_acc": 0.08902994791666667,
-     "heldout_record_exact": 0.08333333333333333,
-     "heldout_answer_bpb": 27.136054602310953,
-     "heldout_min_exact": 0.0,
-     "singleton_len1": 1.0,
-     "distinct_codes": 1.0,
-     "code_map": "[1, 0]",
-     "empty_word_rate": 0.0,
-     "word_purity": 0.5882352941176471,
-     "word_len_match": 0.5882352941176471,
-     "step": 11000,
-     "loss": 1219.5860595703125,
-     "lam_mid": 1.0,
-     "cur_depth": 9,
-     "s_per_step": 0.0614,
-     "wall_s": 675.9
-    },
-    {
-     "acc_d11": 0.999,
-     "exact_d11": 0.9922,
-     "acc_d12": 0.999,
-     "exact_d12": 0.9922,
-     "acc_d13": 0.75,
-     "exact_d13": 0.75,
-     "acc_d14": 0.751,
-     "exact_d14": 0.7422,
-     "acc_d15": 0.0029,
-     "exact_d15": 0.0,
-     "acc_d16": 0.751,
-     "exact_d16": 0.75,
-     "heldout_byte_acc": 0.7088216145833334,
-     "heldout_record_exact": 0.7044270833333334,
-     "heldout_answer_bpb": 8.733851198136543,
-     "heldout_min_exact": 0.0,
-     "singleton_len1": 1.0,
-     "distinct_codes": 1.0,
-     "code_map": "[1, 0]",
-     "empty_word_rate": 0.0,
-     "word_purity": 0.8382352941176471,
-     "word_len_match": 0.8382352941176471,
-     "step": 12000,
-     "loss": 1349.2926025390625,
-     "lam_mid": 1.0,
-     "cur_depth": 10,
-     "s_per_step": 0.0702,
-     "wall_s": 842.2
-    },
-    {
-     "acc_d11": 0.752,
-     "exact_d11": 0.75,
-     "acc_d12": 0.751,
-     "exact_d12": 0.75,
-     "acc_d13": 0.251,
-     "exact_d13": 0.25,
-     "acc_d14": 0.0107,
-     "exact_d14": 0.0,
-     "acc_d15": 0.0,
-     "exact_d15": 0.0,
-     "acc_d16": 0.0039,
-     "exact_d16": 0.0,
-     "heldout_byte_acc": 0.2947591145833333,
-     "heldout_record_exact": 0.2916666666666667,
-     "heldout_answer_bpb": 25.93251424795592,
-     "heldout_min_exact": 0.0,
-     "singleton_len1": 1.0,
-     "distinct_codes": 1.0,
-     "code_map": "[1, 0]",
-     "empty_word_rate": 0.0,
-     "word_purity": 0.6911764705882353,
-     "word_len_match": 0.7794117647058824,
-     "step": 13000,
-     "loss": 1325.5745849609375,
-     "lam_mid": 1.0,
-     "cur_depth": 10,
-     "s_per_step": 0.0882,
-     "wall_s": 1146.1
+     "st": 0,
+     "s_per_step": 1.7468,
+     "wall_s": 1.7
     }
    ],
    "final": {
-    "acc_d11": 0.752,
-    "exact_d11": 0.75,
-    "acc_d12": 0.751,
-    "exact_d12": 0.75,
-    "acc_d13": 0.251,
-    "exact_d13": 0.25,
-    "acc_d14": 0.0107,
+    "acc_d11": 0.001,
+    "exact_d11": 0.0,
+    "acc_d12": 0.0098,
+    "exact_d12": 0.0,
+    "acc_d13": 0.0049,
+    "exact_d13": 0.0,
+    "acc_d14": 0.002,
     "exact_d14": 0.0,
-    "acc_d15": 0.0,
+    "acc_d15": 0.001,
     "exact_d15": 0.0,
-    "acc_d16": 0.0039,
+    "acc_d16": 0.0029,
     "exact_d16": 0.0,
-    "heldout_byte_acc": 0.2947591145833333,
-    "heldout_record_exact": 0.2916666666666667,
-    "heldout_answer_bpb": 25.93251424795592,
+    "heldout_byte_acc": 0.0035807291666666665,
+    "heldout_record_exact": 0.0,
+    "heldout_answer_bpb": 8.063950260480246,
     "heldout_min_exact": 0.0,
     "singleton_len1": 1.0,
     "distinct_codes": 1.0,
     "code_map": "[1, 0]",
-    "empty_word_rate": 0.0,
-    "word_purity": 0.6911764705882353,
-    "word_len_match": 0.7794117647058824,
-    "step": 13000,
-    "loss": 1325.5745849609375,
-    "lam_mid": 1.0,
-    "cur_depth": 10,
-    "s_per_step": 0.0882,
-    "wall_s": 1146.1
+    "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.191,
+    "clip_compiler_reader": 0.446,
+    "clip_actions": 6.932,
+    "clip_carrier": 27.772,
+    "clip_spine": 4388.268,
+    "step": 0,
+    "loss": 4173.91943359375,
+    "train_bits": 4166.47,
+    "lam_mid": 0.0,
+    "cur_depth": 1,
+    "st": 0,
+    "s_per_step": 1.7468,
+    "wall_s": 1.7
    }
   }
  ],
- "partial": true
+ "partial": true,
+ "result_file": "g1fs16_field_s1.json",
+ "off_law": {},
+ "certification_geometry": true
 }