| { |
| "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": 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": 1, |
| "oracle": { |
| "worst_acc": 1.0, |
| "worst_depth": -1, |
| "max_mid_entropy": 0.0011125560849905014, |
| "pass": true |
| }, |
| "history": [ |
| { |
| "acc_d11": 0.0, |
| "exact_d11": 0.0, |
| "acc_d12": 0.002, |
| "exact_d12": 0.0, |
| "acc_d13": 0.002, |
| "exact_d13": 0.0, |
| "acc_d14": 0.0029, |
| "exact_d14": 0.0, |
| "acc_d15": 0.0039, |
| "exact_d15": 0.0, |
| "acc_d16": 0.0029, |
| "exact_d16": 0.0, |
| "heldout_byte_acc": 0.0022786458333333335, |
| "heldout_record_exact": 0.0, |
| "heldout_answer_bpb": 8.072190006573996, |
| "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": 1.729, |
| "clip_actions": 14.311, |
| "clip_spine": 4385.985, |
| "step": 0, |
| "loss": 4226.7734375, |
| "train_bits": 4175.31, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 2.287, |
| "wall_s": 2.3 |
| }, |
| { |
| "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.053250294644385576, |
| "heldout_min_exact": 1.0, |
| "singleton_len1": 1.0, |
| "distinct_codes": 1.0, |
| "code_map": "[0, 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": 7.07, |
| "clip_actions": 0.972, |
| "clip_spine": 1251.56, |
| "step": 500, |
| "loss": 1236.5638427734375, |
| "train_bits": 1231.25, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3459, |
| "wall_s": 173.0 |
| }, |
| { |
| "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.006422219206190978, |
| "heldout_min_exact": 1.0, |
| "singleton_len1": 1.0, |
| "distinct_codes": 1.0, |
| "code_map": "[0, 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": 1.163, |
| "clip_actions": 0.125, |
| "clip_spine": 914.395, |
| "step": 1000, |
| "loss": 1291.5296630859375, |
| "train_bits": 1291.26, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3441, |
| "wall_s": 344.1 |
| }, |
| { |
| "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.0027256795923070363, |
| "heldout_min_exact": 1.0, |
| "singleton_len1": 1.0, |
| "distinct_codes": 1.0, |
| "code_map": "[0, 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": 0.309, |
| "clip_actions": 0.056, |
| "clip_spine": 1499.727, |
| "step": 1500, |
| "loss": 1226.1171875, |
| "train_bits": 1226.08, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3437, |
| "wall_s": 515.6 |
| }, |
| { |
| "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.0013590384090396885, |
| "heldout_min_exact": 1.0, |
| "singleton_len1": 1.0, |
| "distinct_codes": 1.0, |
| "code_map": "[0, 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": 0.159, |
| "clip_actions": 0.031, |
| "clip_spine": 858.598, |
| "step": 2000, |
| "loss": 1270.302001953125, |
| "train_bits": 1270.33, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3429, |
| "wall_s": 685.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.0007492514572125705, |
| "heldout_min_exact": 1.0, |
| "singleton_len1": 1.0, |
| "distinct_codes": 1.0, |
| "code_map": "[0, 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": 0.062, |
| "clip_actions": 0.017, |
| "clip_spine": 640.116, |
| "step": 2500, |
| "loss": 1161.1337890625, |
| "train_bits": 1161.19, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3425, |
| "wall_s": 856.3 |
| }, |
| { |
| "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.000412839370862154, |
| "heldout_min_exact": 1.0, |
| "singleton_len1": 1.0, |
| "distinct_codes": 1.0, |
| "code_map": "[0, 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": 0.049, |
| "clip_actions": 0.01, |
| "clip_spine": 1855.696, |
| "step": 3000, |
| "loss": 1316.4490966796875, |
| "train_bits": 1316.51, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3426, |
| "wall_s": 1027.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.00028271864478786785, |
| "heldout_min_exact": 1.0, |
| "singleton_len1": 1.0, |
| "distinct_codes": 1.0, |
| "code_map": "[0, 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": 0.028, |
| "clip_actions": 0.007, |
| "clip_spine": 380.34, |
| "step": 3500, |
| "loss": 1122.4307861328125, |
| "train_bits": 1122.5, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3427, |
| "wall_s": 1199.3 |
| }, |
| { |
| "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.00019692359273904003, |
| "heldout_min_exact": 1.0, |
| "singleton_len1": 1.0, |
| "distinct_codes": 1.0, |
| "code_map": "[0, 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": 0.02, |
| "clip_actions": 0.004, |
| "clip_spine": 321.435, |
| "step": 3999, |
| "loss": 1193.154541015625, |
| "train_bits": 1193.22, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3425, |
| "wall_s": 1369.7 |
| } |
| ], |
| "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.00019692359273904003, |
| "heldout_min_exact": 1.0, |
| "singleton_len1": 1.0, |
| "distinct_codes": 1.0, |
| "code_map": "[0, 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": 0.02, |
| "clip_actions": 0.004, |
| "clip_spine": 321.435, |
| "step": 3999, |
| "loss": 1193.154541015625, |
| "train_bits": 1193.22, |
| "lam_mid": 0.0, |
| "cur_depth": 10, |
| "st": 1, |
| "s_per_step": 0.3425, |
| "wall_s": 1369.7 |
| } |
| } |
| ], |
| "partial": false, |
| "result_file": "scratch/g1rep_field_s1.json", |
| "off_law": {}, |
| "certification_geometry": true |
| } |
