Upload g1fs16_field_s2.json with huggingface_hub

g1fs16_field_s2.json

@@ -5,7 +5,7 @@
   2
  ],
  "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,89 @@
    "oracle": {
     "worst_acc": 1.0,
     "worst_depth": -1,
-    "max_mid_entropy": 0.000821138615719974,
+    "max_mid_entropy": 0.0010791256790980697,
     "pass": true
    },
    "history": [
     {
-     "acc_d11": 0.0107,
+     "acc_d11": 0.002,
      "exact_d11": 0.0,
-     "acc_d12": 0.0029,
+     "acc_d12": 0.0078,
      "exact_d12": 0.0,
-     "acc_d13": 0.002,
+     "acc_d13": 0.0049,
      "exact_d13": 0.0,
-     "acc_d14": 0.0059,
+     "acc_d14": 0.0039,
      "exact_d14": 0.0,
-     "acc_d15": 0.0029,
+     "acc_d15": 0.0039,
      "exact_d15": 0.0,
-     "acc_d16": 0.0039,
+     "acc_d16": 0.0,
      "exact_d16": 0.0,
-     "heldout_byte_acc": 0.004720052083333333,
+     "heldout_byte_acc": 0.0037434895833333335,
      "heldout_record_exact": 0.0,
-     "heldout_answer_bpb": 8.018576681613922,
+     "heldout_answer_bpb": 8.046978255112966,
      "heldout_min_exact": 0.0,
-     "singleton_len1": 0.0,
+     "singleton_len1": 0.5,
      "distinct_codes": 0.0,
-     "code_map": "[None, None]",
-     "empty_word_rate": 0.0,
+     "code_map": "[None, 1]",
+     "empty_word_rate": 1.0,
      "word_purity": 0.0,
      "word_len_match": 0.0,
+     "clip_compiler_symbols": 0.23,
+     "clip_compiler_reader": 0.427,
+     "clip_actions": 4.923,
+     "clip_carrier": 19.743,
+     "clip_spine": 3945.464,
      "step": 0,
-     "loss": 4021.951171875,
+     "loss": 4028.677734375,
+     "train_bits": 4021.64,
      "lam_mid": 0.0,
      "cur_depth": 1,
-     "s_per_step": 1.3483,
-     "wall_s": 1.3
-    },
-    {
-     "acc_d11": 0.0176,
-     "exact_d11": 0.0,
-     "acc_d12": 0.0,
-     "exact_d12": 0.0,
-     "acc_d13": 0.0029,
-     "exact_d13": 0.0,
-     "acc_d14": 0.0059,
-     "exact_d14": 0.0,
-     "acc_d15": 0.0049,
-     "exact_d15": 0.0,
-     "acc_d16": 0.0078,
-     "exact_d16": 0.0,
-     "heldout_byte_acc": 0.006510416666666667,
-     "heldout_record_exact": 0.0,
-     "heldout_answer_bpb": 10.913262923558554,
-     "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": 1132.2215576171875,
-     "lam_mid": 0.1389,
-     "cur_depth": 1,
-     "s_per_step": 0.0344,
-     "wall_s": 34.4
-    },
-    {
-     "acc_d11": 0.0039,
-     "exact_d11": 0.0,
-     "acc_d12": 0.0059,
-     "exact_d12": 0.0,
-     "acc_d13": 0.0186,
-     "exact_d13": 0.0,
-     "acc_d14": 0.0039,
-     "exact_d14": 0.0,
-     "acc_d15": 0.0098,
-     "exact_d15": 0.0,
-     "acc_d16": 0.9961,
-     "exact_d16": 0.9688,
-     "heldout_byte_acc": 0.17301432291666666,
-     "heldout_record_exact": 0.16145833333333334,
-     "heldout_answer_bpb": 11.578831013554009,
-     "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": 2000,
-     "loss": 1112.832275390625,
-     "lam_mid": 0.2778,
-     "cur_depth": 2,
-     "s_per_step": 0.0352,
-     "wall_s": 70.4
-    },
-    {
-     "acc_d11": 0.9482,
-     "exact_d11": 0.6016,
-     "acc_d12": 0.9717,
-     "exact_d12": 0.7812,
-     "acc_d13": 0.9658,
-     "exact_d13": 0.7422,
-     "acc_d14": 0.9658,
-     "exact_d14": 0.7266,
-     "acc_d15": 0.9863,
-     "exact_d15": 0.8906,
-     "acc_d16": 0.9668,
-     "exact_d16": 0.7422,
-     "heldout_byte_acc": 0.9674479166666666,
-     "heldout_record_exact": 0.7473958333333334,
-     "heldout_answer_bpb": 0.11534922031569295,
-     "heldout_min_exact": 0.6016,
-     "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": 3000,
-     "loss": 1065.051025390625,
-     "lam_mid": 0.4167,
-     "cur_depth": 3,
-     "s_per_step": 0.0368,
-     "wall_s": 110.3
-    },
-    {
-     "acc_d11": 0.9346,
-     "exact_d11": 0.5078,
-     "acc_d12": 0.9492,
-     "exact_d12": 0.6172,
-     "acc_d13": 0.9336,
-     "exact_d13": 0.5469,
-     "acc_d14": 0.958,
-     "exact_d14": 0.6719,
-     "acc_d15": 0.9912,
-     "exact_d15": 0.9297,
-     "acc_d16": 0.9854,
-     "exact_d16": 0.8828,
-     "heldout_byte_acc": 0.9586588541666666,
-     "heldout_record_exact": 0.6927083333333334,
-     "heldout_answer_bpb": 0.13475184049457312,
-     "heldout_min_exact": 0.5078,
-     "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": 4000,
-     "loss": 1067.3145751953125,
-     "lam_mid": 0.5556,
-     "cur_depth": 4,
-     "s_per_step": 0.0384,
-     "wall_s": 153.8
-    },
-    {
-     "acc_d11": 0.0039,
-     "exact_d11": 0.0,
-     "acc_d12": 0.749,
-     "exact_d12": 0.7422,
-     "acc_d13": 0.2539,
-     "exact_d13": 0.25,
-     "acc_d14": 0.2539,
-     "exact_d14": 0.25,
-     "acc_d15": 0.5,
-     "exact_d15": 0.5,
-     "acc_d16": 0.25,
-     "exact_d16": 0.25,
-     "heldout_byte_acc": 0.3351236979166667,
-     "heldout_record_exact": 0.33203125,
-     "heldout_answer_bpb": 15.976754922228338,
-     "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.9117647058823529,
-     "step": 5000,
-     "loss": 1203.5966796875,
-     "lam_mid": 0.6945,
-     "cur_depth": 4,
-     "s_per_step": 0.0405,
-     "wall_s": 202.5
-    },
-    {
-     "acc_d11": 0.998,
-     "exact_d11": 0.9844,
-     "acc_d12": 0.252,
-     "exact_d12": 0.25,
-     "acc_d13": 0.0078,
-     "exact_d13": 0.0,
-     "acc_d14": 0.0,
-     "exact_d14": 0.0,
-     "acc_d15": 0.002,
-     "exact_d15": 0.0,
-     "acc_d16": 0.2549,
-     "exact_d16": 0.25,
-     "heldout_byte_acc": 0.25244140625,
-     "heldout_record_exact": 0.24739583333333334,
-     "heldout_answer_bpb": 20.08085057046219,
-     "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.9411764705882353,
-     "step": 6000,
-     "loss": 1068.802734375,
-     "lam_mid": 0.8334,
-     "cur_depth": 5,
-     "s_per_step": 0.0425,
-     "wall_s": 254.8
-    },
-    {
-     "acc_d11": 0.0049,
-     "exact_d11": 0.0,
-     "acc_d12": 0.002,
-     "exact_d12": 0.0,
-     "acc_d13": 0.0039,
-     "exact_d13": 0.0,
-     "acc_d14": 0.0039,
-     "exact_d14": 0.0,
-     "acc_d15": 0.0029,
-     "exact_d15": 0.0,
-     "acc_d16": 0.0059,
-     "exact_d16": 0.0,
-     "heldout_byte_acc": 0.00390625,
-     "heldout_record_exact": 0.0,
-     "heldout_answer_bpb": 27.108957489331562,
-     "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.47058823529411764,
-     "word_len_match": 0.5147058823529411,
-     "step": 7000,
-     "loss": 1077.9532470703125,
-     "lam_mid": 0.9723,
-     "cur_depth": 6,
-     "s_per_step": 0.0445,
-     "wall_s": 311.2
-    },
-    {
-     "acc_d11": 0.0088,
-     "exact_d11": 0.0,
-     "acc_d12": 0.0039,
-     "exact_d12": 0.0,
-     "acc_d13": 0.0068,
-     "exact_d13": 0.0,
-     "acc_d14": 0.0039,
-     "exact_d14": 0.0,
-     "acc_d15": 0.0029,
-     "exact_d15": 0.0,
-     "acc_d16": 0.0068,
-     "exact_d16": 0.0,
-     "heldout_byte_acc": 0.005533854166666667,
-     "heldout_record_exact": 0.0,
-     "heldout_answer_bpb": 28.095733205477398,
-     "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.4264705882352941,
-     "word_len_match": 0.4852941176470588,
-     "step": 8000,
-     "loss": 1081.2435302734375,
-     "lam_mid": 1.0,
-     "cur_depth": 7,
-     "s_per_step": 0.0465,
-     "wall_s": 372.3
-    },
-    {
-     "acc_d11": 0.75,
-     "exact_d11": 0.75,
-     "acc_d12": 0.5039,
-     "exact_d12": 0.5,
-     "acc_d13": 0.0029,
-     "exact_d13": 0.0,
-     "acc_d14": 0.0059,
-     "exact_d14": 0.0,
-     "acc_d15": 0.0029,
-     "exact_d15": 0.0,
-     "acc_d16": 0.002,
-     "exact_d16": 0.0,
-     "heldout_byte_acc": 0.21126302083333334,
-     "heldout_record_exact": 0.20833333333333334,
-     "heldout_answer_bpb": 23.333705428266214,
-     "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.6911764705882353,
-     "step": 9000,
-     "loss": 1239.730712890625,
-     "lam_mid": 1.0,
-     "cur_depth": 7,
-     "s_per_step": 0.0493,
-     "wall_s": 444.0
-    },
-    {
-     "acc_d11": 0.2549,
-     "exact_d11": 0.25,
-     "acc_d12": 0.0029,
-     "exact_d12": 0.0,
-     "acc_d13": 0.0059,
-     "exact_d13": 0.0,
-     "acc_d14": 0.0127,
-     "exact_d14": 0.0,
-     "acc_d15": 0.002,
-     "exact_d15": 0.0,
-     "acc_d16": 0.002,
-     "exact_d16": 0.0,
-     "heldout_byte_acc": 0.046712239583333336,
-     "heldout_record_exact": 0.041666666666666664,
-     "heldout_answer_bpb": 30.187837464391894,
-     "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.5,
-     "word_len_match": 0.5588235294117647,
-     "step": 10000,
-     "loss": 1090.5953369140625,
-     "lam_mid": 1.0,
-     "cur_depth": 8,
-     "s_per_step": 0.0531,
-     "wall_s": 531.5
-    },
-    {
-     "acc_d11": 0.0068,
-     "exact_d11": 0.0,
-     "acc_d12": 0.0049,
-     "exact_d12": 0.0,
-     "acc_d13": 0.0029,
-     "exact_d13": 0.0,
-     "acc_d14": 0.2559,
-     "exact_d14": 0.25,
-     "acc_d15": 0.75,
-     "exact_d15": 0.75,
-     "acc_d16": 0.501,
-     "exact_d16": 0.5,
-     "heldout_byte_acc": 0.2535807291666667,
-     "heldout_record_exact": 0.25,
-     "heldout_answer_bpb": 23.25541102107366,
-     "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.6323529411764706,
-     "word_len_match": 0.6911764705882353,
-     "step": 11000,
-     "loss": 1079.5191650390625,
-     "lam_mid": 1.0,
-     "cur_depth": 9,
-     "s_per_step": 0.059,
-     "wall_s": 649.4
-    },
-    {
-     "acc_d11": 0.001,
-     "exact_d11": 0.0,
-     "acc_d12": 0.0059,
-     "exact_d12": 0.0,
-     "acc_d13": 0.0088,
-     "exact_d13": 0.0,
-     "acc_d14": 0.002,
-     "exact_d14": 0.0,
-     "acc_d15": 0.0156,
-     "exact_d15": 0.0,
-     "acc_d16": 0.0059,
-     "exact_d16": 0.0,
-     "heldout_byte_acc": 0.006510416666666667,
-     "heldout_record_exact": 0.0,
-     "heldout_answer_bpb": 33.45902152856191,
-     "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.5294117647058824,
-     "word_len_match": 0.5294117647058824,
-     "step": 12000,
-     "loss": 1380.274169921875,
-     "lam_mid": 1.0,
-     "cur_depth": 10,
-     "s_per_step": 0.0678,
-     "wall_s": 813.5
-    },
-    {
-     "acc_d11": 0.2529,
-     "exact_d11": 0.25,
-     "acc_d12": 0.0039,
-     "exact_d12": 0.0,
-     "acc_d13": 0.0049,
-     "exact_d13": 0.0,
-     "acc_d14": 0.0029,
-     "exact_d14": 0.0,
-     "acc_d15": 0.0059,
-     "exact_d15": 0.0,
-     "acc_d16": 0.001,
-     "exact_d16": 0.0,
-     "heldout_byte_acc": 0.045247395833333336,
-     "heldout_record_exact": 0.041666666666666664,
-     "heldout_answer_bpb": 29.740183283189253,
-     "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.6029411764705882,
-     "step": 13000,
-     "loss": 1278.3037109375,
-     "lam_mid": 1.0,
-     "cur_depth": 10,
-     "s_per_step": 0.0859,
-     "wall_s": 1116.4
+     "st": 0,
+     "s_per_step": 0.723,
+     "wall_s": 0.7
     }
    ],
    "final": {
-    "acc_d11": 0.2529,
-    "exact_d11": 0.25,
-    "acc_d12": 0.0039,
+    "acc_d11": 0.002,
+    "exact_d11": 0.0,
+    "acc_d12": 0.0078,
     "exact_d12": 0.0,
     "acc_d13": 0.0049,
     "exact_d13": 0.0,
-    "acc_d14": 0.0029,
+    "acc_d14": 0.0039,
     "exact_d14": 0.0,
-    "acc_d15": 0.0059,
+    "acc_d15": 0.0039,
     "exact_d15": 0.0,
-    "acc_d16": 0.001,
+    "acc_d16": 0.0,
     "exact_d16": 0.0,
-    "heldout_byte_acc": 0.045247395833333336,
-    "heldout_record_exact": 0.041666666666666664,
-    "heldout_answer_bpb": 29.740183283189253,
+    "heldout_byte_acc": 0.0037434895833333335,
+    "heldout_record_exact": 0.0,
+    "heldout_answer_bpb": 8.046978255112966,
     "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.6029411764705882,
-    "step": 13000,
-    "loss": 1278.3037109375,
-    "lam_mid": 1.0,
-    "cur_depth": 10,
-    "s_per_step": 0.0859,
-    "wall_s": 1116.4
+    "singleton_len1": 0.5,
+    "distinct_codes": 0.0,
+    "code_map": "[None, 1]",
+    "empty_word_rate": 1.0,
+    "word_purity": 0.0,
+    "word_len_match": 0.0,
+    "clip_compiler_symbols": 0.23,
+    "clip_compiler_reader": 0.427,
+    "clip_actions": 4.923,
+    "clip_carrier": 19.743,
+    "clip_spine": 3945.464,
+    "step": 0,
+    "loss": 4028.677734375,
+    "train_bits": 4021.64,
+    "lam_mid": 0.0,
+    "cur_depth": 1,
+    "st": 0,
+    "s_per_step": 0.723,
+    "wall_s": 0.7
    }
   }
  ],
- "partial": true
+ "partial": true,
+ "result_file": "g1fs16_field_s2.json",
+ "off_law": {},
+ "certification_geometry": true
 }