{ "screen": "G1-FS16", "arm": "field", "seeds": [ 0 ], "nonce": 0, "steps": 4000, "events": 2, "m_records": 16, "d": 64, "layers": 3, "carrier": 256, "train_depth": 10, "closure": 16, "lam_mid": 0.0, "lam_cpu": 0.02, "lam_a": 0.02, "mid_warmup": 0.0, "curriculum": 0.0, "straight_through": true, "st_after": 0.0, "act_init": 4.0, "sampled": true, "eps": 0.05, "device": "cuda", "runs": [ { "seed": 0, "oracle": { "worst_acc": 1.0, "worst_depth": -1, "max_mid_entropy": 0.0010694314260035753, "pass": true }, "history": [ { "acc_d11": 0.0029, "exact_d11": 0.0, "acc_d12": 0.002, "exact_d12": 0.0, "acc_d13": 0.0039, "exact_d13": 0.0, "acc_d14": 0.0059, "exact_d14": 0.0, "acc_d15": 0.0049, "exact_d15": 0.0, "acc_d16": 0.001, "exact_d16": 0.0, "heldout_byte_acc": 0.00341796875, "heldout_record_exact": 0.0, "heldout_answer_bpb": 8.074026008447012, "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, "clip_compiler_symbols": 6.047234058, "clip_compiler_reader": 15.39970493, "clip_actions": 15.46917343, "clip_carrier": 15.53397179, "clip_spine": 3919.002197, "step": 0, "loss": 4148.6962890625, "train_bits": 4105.61, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 1.6876, "wall_s": 1.7 }, { "acc_d11": 0.0039, "exact_d11": 0.0, "acc_d12": 0.0029, "exact_d12": 0.0, "acc_d13": 0.0049, "exact_d13": 0.0, "acc_d14": 0.0, "exact_d14": 0.0, "acc_d15": 0.001, "exact_d15": 0.0, "acc_d16": 0.0029, "exact_d16": 0.0, "heldout_byte_acc": 0.0026041666666666665, "heldout_record_exact": 0.0, "heldout_answer_bpb": 8.522692382335663, "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": 1.269364119, "clip_compiler_reader": 0.6826426387, "clip_actions": 23.82985306, "clip_carrier": 0.08508361876, "clip_spine": 739.3116455, "step": 1000, "loss": 2340.083251953125, "train_bits": 2339.62, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3699, "wall_s": 369.9 }, { "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.0014921046725551907, "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.09264253825, "clip_compiler_reader": 0.04802621901, "clip_actions": 0.07480932772, "clip_carrier": 0.1091564149, "clip_spine": 871.4671021, "step": 2000, "loss": 1267.6014404296875, "train_bits": 1267.66, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3699, "wall_s": 739.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": 0.0011067328299153207, "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.02375566028, "clip_compiler_reader": 0.01175009459, "clip_actions": 0.07368122041, "clip_carrier": 0.06123429537, "clip_spine": 1055.709229, "step": 3000, "loss": 1243.9906005859375, "train_bits": 1244.06, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.3699, "wall_s": 1109.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": 0.0009744297910098491, "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.01102758944, "clip_compiler_reader": 0.00543366652, "clip_actions": 0.08879499882, "clip_carrier": 0.04645923525, "clip_spine": 258.1585083, "step": 3999, "loss": 1186.206298828125, "train_bits": 1186.28, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.37, "wall_s": 1479.5 } ], "final": { "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.0009744297910098491, "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.01102758944, "clip_compiler_reader": 0.00543366652, "clip_actions": 0.08879499882, "clip_carrier": 0.04645923525, "clip_spine": 258.1585083, "step": 3999, "loss": 1186.206298828125, "train_bits": 1186.28, "lam_mid": 0.0, "cur_depth": 10, "st": 1, "s_per_step": 0.37, "wall_s": 1479.5 } } ], "partial": false, "result_file": "g1lc3_s0.json", "off_law": {}, "certification_geometry": true }