trident-ec / g1lc3_s2.json
farguney's picture
Upload g1lc3_s2.json with huggingface_hub
570b85b verified
Raw
History Blame Contribute Delete
6.61 kB
{
"screen": "G1-FS16",
"arm": "field",
"seeds": [
2
],
"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": 2,
"oracle": {
"worst_acc": 1.0,
"worst_depth": -1,
"max_mid_entropy": 0.0010794074041768909,
"pass": true
},
"history": [
{
"acc_d11": 0.0029,
"exact_d11": 0.0,
"acc_d12": 0.0098,
"exact_d12": 0.0,
"acc_d13": 0.0039,
"exact_d13": 0.0,
"acc_d14": 0.002,
"exact_d14": 0.0,
"acc_d15": 0.0059,
"exact_d15": 0.0,
"acc_d16": 0.0,
"exact_d16": 0.0,
"heldout_byte_acc": 0.004069010416666667,
"heldout_record_exact": 0.0,
"heldout_answer_bpb": 8.050041218598684,
"heldout_min_exact": 0.0,
"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": 4.125268936,
"clip_compiler_reader": 7.910591125,
"clip_actions": 14.03126049,
"clip_carrier": 26.34704971,
"clip_spine": 3943.049316,
"step": 0,
"loss": 4072.361328125,
"train_bits": 4025.17,
"lam_mid": 0.0,
"cur_depth": 10,
"st": 1,
"s_per_step": 0.9533,
"wall_s": 1.0
},
{
"acc_d11": 0.0029,
"exact_d11": 0.0,
"acc_d12": 0.0107,
"exact_d12": 0.0,
"acc_d13": 0.0049,
"exact_d13": 0.0,
"acc_d14": 0.0039,
"exact_d14": 0.0,
"acc_d15": 0.002,
"exact_d15": 0.0,
"acc_d16": 0.0059,
"exact_d16": 0.0,
"heldout_byte_acc": 0.005045572916666667,
"heldout_record_exact": 0.0,
"heldout_answer_bpb": 8.450596630573273,
"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.130189538,
"clip_compiler_reader": 0.5828017592,
"clip_actions": 25.87573433,
"clip_carrier": 4.778295261e-05,
"clip_spine": 1910.08313,
"step": 1000,
"loss": 2339.10302734375,
"train_bits": 2338.89,
"lam_mid": 0.0,
"cur_depth": 10,
"st": 1,
"s_per_step": 0.3711,
"wall_s": 371.1
},
{
"acc_d11": 0.0107,
"exact_d11": 0.0,
"acc_d12": 0.0049,
"exact_d12": 0.0,
"acc_d13": 0.0117,
"exact_d13": 0.0,
"acc_d14": 0.0029,
"exact_d14": 0.0,
"acc_d15": 0.002,
"exact_d15": 0.0,
"acc_d16": 0.001,
"exact_d16": 0.0,
"heldout_byte_acc": 0.005533854166666667,
"heldout_record_exact": 0.0,
"heldout_answer_bpb": 8.603727479775747,
"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": 5.426897049,
"clip_compiler_reader": 3.238889456,
"clip_actions": 40.13214493,
"clip_carrier": 0.0002679176105,
"clip_spine": 813.6345825,
"step": 2000,
"loss": 2347.130859375,
"train_bits": 2345.61,
"lam_mid": 0.0,
"cur_depth": 10,
"st": 1,
"s_per_step": 0.3709,
"wall_s": 741.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.002,
"exact_d14": 0.0,
"acc_d15": 0.0039,
"exact_d15": 0.0,
"acc_d16": 0.0029,
"exact_d16": 0.0,
"heldout_byte_acc": 0.0030924479166666665,
"heldout_record_exact": 0.0,
"heldout_answer_bpb": 8.773843268553415,
"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": 4.414979935,
"clip_compiler_reader": 1.929344416,
"clip_actions": 44.15208054,
"clip_carrier": 0.0003592213325,
"clip_spine": 1018.189575,
"step": 3000,
"loss": 2340.989501953125,
"train_bits": 2340.34,
"lam_mid": 0.0,
"cur_depth": 10,
"st": 1,
"s_per_step": 0.3708,
"wall_s": 1112.5
},
{
"acc_d11": 0.0059,
"exact_d11": 0.0,
"acc_d12": 0.0088,
"exact_d12": 0.0,
"acc_d13": 0.0088,
"exact_d13": 0.0,
"acc_d14": 0.0088,
"exact_d14": 0.0,
"acc_d15": 0.0029,
"exact_d15": 0.0,
"acc_d16": 0.002,
"exact_d16": 0.0,
"heldout_byte_acc": 0.006184895833333333,
"heldout_record_exact": 0.0,
"heldout_answer_bpb": 9.006333549817404,
"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": 31.30134201,
"clip_compiler_reader": 9.639925957,
"clip_actions": 43.30134201,
"clip_carrier": 0.1055667475,
"clip_spine": 271.5331421,
"step": 3999,
"loss": 2181.8056640625,
"train_bits": 2178.64,
"lam_mid": 0.0,
"cur_depth": 10,
"st": 1,
"s_per_step": 0.3709,
"wall_s": 1483.1
}
],
"final": {
"acc_d11": 0.0059,
"exact_d11": 0.0,
"acc_d12": 0.0088,
"exact_d12": 0.0,
"acc_d13": 0.0088,
"exact_d13": 0.0,
"acc_d14": 0.0088,
"exact_d14": 0.0,
"acc_d15": 0.0029,
"exact_d15": 0.0,
"acc_d16": 0.002,
"exact_d16": 0.0,
"heldout_byte_acc": 0.006184895833333333,
"heldout_record_exact": 0.0,
"heldout_answer_bpb": 9.006333549817404,
"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": 31.30134201,
"clip_compiler_reader": 9.639925957,
"clip_actions": 43.30134201,
"clip_carrier": 0.1055667475,
"clip_spine": 271.5331421,
"step": 3999,
"loss": 2181.8056640625,
"train_bits": 2178.64,
"lam_mid": 0.0,
"cur_depth": 10,
"st": 1,
"s_per_step": 0.3709,
"wall_s": 1483.1
}
}
],
"partial": false,
"result_file": "g1lc3_s2.json",
"off_law": {},
"certification_geometry": true
}