{ "screen": "G1-FS16", "arm": "field", "seeds": [ 1 ], "nonce": 0, "steps": 4000, "events": 2, "m_records": 16, "d": 64, "layers": 3, "carrier": 256, "train_depth": 10, "closure": 16, "lam_mid": 1.0, "lam_cpu": 0.02, "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": [ { "seed": 1, "oracle": { "worst_acc": 1.0, "worst_depth": -1, "max_mid_entropy": 0.00111165561247617, "pass": true }, "history": [ { "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.001, "exact_d15": 0.0, "acc_d16": 0.0029, "exact_d16": 0.0, "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": 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 }, { "acc_d11": 0.0107, "exact_d11": 0.0, "acc_d12": 0.002, "exact_d12": 0.0, "acc_d13": 0.0088, "exact_d13": 0.0, "acc_d14": 0.0039, "exact_d14": 0.0, "acc_d15": 0.0078, "exact_d15": 0.0, "acc_d16": 0.001, "exact_d16": 0.0, "heldout_byte_acc": 0.005696614583333333, "heldout_record_exact": 0.0, "heldout_answer_bpb": 19.910337885220844, "heldout_min_exact": 0.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": 38.667, "clip_compiler_reader": 22.769, "clip_actions": 0.0, "clip_carrier": 0.0, "clip_spine": 5799.229, "step": 1000, "loss": 2283.4619140625, "train_bits": 2242.1, "lam_mid": 0.8335, "cur_depth": 5, "st": 0, "s_per_step": 0.0432, "wall_s": 43.2 }, { "acc_d11": 0.0068, "exact_d11": 0.0, "acc_d12": 0.0, "exact_d12": 0.0, "acc_d13": 0.0068, "exact_d13": 0.0, "acc_d14": 0.0029, "exact_d14": 0.0, "acc_d15": 0.0117, "exact_d15": 0.0, "acc_d16": 0.002, "exact_d16": 0.0, "heldout_byte_acc": 0.005045572916666667, "heldout_record_exact": 0.0, "heldout_answer_bpb": 23.188242475191753, "heldout_min_exact": 0.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": 28.543, "clip_compiler_reader": 29.211, "clip_actions": 0.0, "clip_carrier": 0.0, "clip_spine": 931.307, "step": 2000, "loss": 2522.7763671875, "train_bits": 2500.69, "lam_mid": 1.0, "cur_depth": 10, "st": 0, "s_per_step": 0.0556, "wall_s": 111.1 }, { "acc_d11": 0.002, "exact_d11": 0.0, "acc_d12": 0.001, "exact_d12": 0.0, "acc_d13": 0.0059, "exact_d13": 0.0, "acc_d14": 0.0039, "exact_d14": 0.0, "acc_d15": 0.001, "exact_d15": 0.0, "acc_d16": 0.0059, "exact_d16": 0.0, "heldout_byte_acc": 0.0032552083333333335, "heldout_record_exact": 0.0, "heldout_answer_bpb": 9.717312494913736, "heldout_min_exact": 0.0, "singleton_len1": 0.0, "distinct_codes": 0.0, "code_map": "[None, None]", "empty_word_rate": 1.0, "word_purity": 0.0, "word_len_match": 0.0, "clip_compiler_symbols": 20.52, "clip_compiler_reader": 15.719, "clip_actions": 1402.066, "clip_carrier": 2588.026, "clip_spine": 5530.947, "step": 3000, "loss": 1863.202392578125, "train_bits": 1816.93, "lam_mid": 1.0, "cur_depth": 10, "st": 0, "s_per_step": 0.0879, "wall_s": 263.7 }, { "acc_d11": 0.002, "exact_d11": 0.0, "acc_d12": 0.001, "exact_d12": 0.0, "acc_d13": 0.0049, "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.00341796875, "heldout_record_exact": 0.0, "heldout_answer_bpb": 9.620284716288248, "heldout_min_exact": 0.0, "singleton_len1": 0.0, "distinct_codes": 0.0, "code_map": "[None, None]", "empty_word_rate": 1.0, "word_purity": 0.0, "word_len_match": 0.0, "clip_compiler_symbols": 18.656, "clip_compiler_reader": 10.708, "clip_actions": 0.0, "clip_carrier": 0.0, "clip_spine": 942.062, "step": 3999, "loss": 2402.146484375, "train_bits": 2397.56, "lam_mid": 1.0, "cur_depth": 10, "st": 0, "s_per_step": 0.1041, "wall_s": 416.2 } ], "final": { "acc_d11": 0.002, "exact_d11": 0.0, "acc_d12": 0.001, "exact_d12": 0.0, "acc_d13": 0.0049, "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.00341796875, "heldout_record_exact": 0.0, "heldout_answer_bpb": 9.620284716288248, "heldout_min_exact": 0.0, "singleton_len1": 0.0, "distinct_codes": 0.0, "code_map": "[None, None]", "empty_word_rate": 1.0, "word_purity": 0.0, "word_len_match": 0.0, "clip_compiler_symbols": 18.656, "clip_compiler_reader": 10.708, "clip_actions": 0.0, "clip_carrier": 0.0, "clip_spine": 942.062, "step": 3999, "loss": 2402.146484375, "train_bits": 2397.56, "lam_mid": 1.0, "cur_depth": 10, "st": 0, "s_per_step": 0.1041, "wall_s": 416.2 } } ], "partial": false, "result_file": "g1fs16_field_s1.json", "off_law": {}, "certification_geometry": true }