trident-ec / g1fs16_field_s2.json
farguney's picture
Upload g1fs16_field_s2.json with huggingface_hub
f441477 verified
Raw
History Blame Contribute Delete
6.56 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": 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": 2,
"oracle": {
"worst_acc": 1.0,
"worst_depth": -1,
"max_mid_entropy": 0.0010791256790980697,
"pass": true
},
"history": [
{
"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.0039,
"exact_d14": 0.0,
"acc_d15": 0.0039,
"exact_d15": 0.0,
"acc_d16": 0.0,
"exact_d16": 0.0,
"heldout_byte_acc": 0.0037434895833333335,
"heldout_record_exact": 0.0,
"heldout_answer_bpb": 8.046978255112966,
"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": 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
},
{
"acc_d11": 0.0029,
"exact_d11": 0.0,
"acc_d12": 0.0078,
"exact_d12": 0.0,
"acc_d13": 0.0059,
"exact_d13": 0.0,
"acc_d14": 0.0039,
"exact_d14": 0.0,
"acc_d15": 0.0059,
"exact_d15": 0.0,
"acc_d16": 0.0029,
"exact_d16": 0.0,
"heldout_byte_acc": 0.0048828125,
"heldout_record_exact": 0.0,
"heldout_answer_bpb": 14.232243875662485,
"heldout_min_exact": 0.0,
"singleton_len1": 1.0,
"distinct_codes": 0.0,
"code_map": "[0, 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": 67.025,
"clip_compiler_reader": 32.15,
"clip_actions": 0.0,
"clip_carrier": 0.0,
"clip_spine": 11965.779,
"step": 1000,
"loss": 2100.652587890625,
"train_bits": 2037.6,
"lam_mid": 0.8335,
"cur_depth": 5,
"st": 0,
"s_per_step": 0.0421,
"wall_s": 42.1
},
{
"acc_d11": 0.0029,
"exact_d11": 0.0,
"acc_d12": 0.001,
"exact_d12": 0.0,
"acc_d13": 0.001,
"exact_d13": 0.0,
"acc_d14": 0.0,
"exact_d14": 0.0,
"acc_d15": 0.002,
"exact_d15": 0.0,
"acc_d16": 0.002,
"exact_d16": 0.0,
"heldout_byte_acc": 0.00146484375,
"heldout_record_exact": 0.0,
"heldout_answer_bpb": 8.540490527947744,
"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": 0.53,
"clip_compiler_reader": 0.299,
"clip_actions": 0.0,
"clip_carrier": 0.0,
"clip_spine": 1538.671,
"step": 2000,
"loss": 2366.432861328125,
"train_bits": 2366.37,
"lam_mid": 1.0,
"cur_depth": 10,
"st": 0,
"s_per_step": 0.0546,
"wall_s": 109.2
},
{
"acc_d11": 0.0039,
"exact_d11": 0.0,
"acc_d12": 0.0068,
"exact_d12": 0.0,
"acc_d13": 0.0166,
"exact_d13": 0.0,
"acc_d14": 0.0,
"exact_d14": 0.0,
"acc_d15": 0.0059,
"exact_d15": 0.0,
"acc_d16": 0.0,
"exact_d16": 0.0,
"heldout_byte_acc": 0.005533854166666667,
"heldout_record_exact": 0.0,
"heldout_answer_bpb": 8.432773252328237,
"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": 0.382,
"clip_compiler_reader": 0.242,
"clip_actions": 0.0,
"clip_carrier": 0.0,
"clip_spine": 1828.564,
"step": 3000,
"loss": 2329.19970703125,
"train_bits": 2329.17,
"lam_mid": 1.0,
"cur_depth": 10,
"st": 0,
"s_per_step": 0.0873,
"wall_s": 261.8
},
{
"acc_d11": 0.0059,
"exact_d11": 0.0,
"acc_d12": 0.0,
"exact_d12": 0.0,
"acc_d13": 0.0117,
"exact_d13": 0.0,
"acc_d14": 0.001,
"exact_d14": 0.0,
"acc_d15": 0.0049,
"exact_d15": 0.0,
"acc_d16": 0.001,
"exact_d16": 0.0,
"heldout_byte_acc": 0.004069010416666667,
"heldout_record_exact": 0.0,
"heldout_answer_bpb": 8.517505466938019,
"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": 0.373,
"clip_compiler_reader": 0.257,
"clip_actions": 0.0,
"clip_carrier": 0.0,
"clip_spine": 616.545,
"step": 3999,
"loss": 2161.469482421875,
"train_bits": 2161.43,
"lam_mid": 1.0,
"cur_depth": 10,
"st": 0,
"s_per_step": 0.1035,
"wall_s": 413.9
}
],
"final": {
"acc_d11": 0.0059,
"exact_d11": 0.0,
"acc_d12": 0.0,
"exact_d12": 0.0,
"acc_d13": 0.0117,
"exact_d13": 0.0,
"acc_d14": 0.001,
"exact_d14": 0.0,
"acc_d15": 0.0049,
"exact_d15": 0.0,
"acc_d16": 0.001,
"exact_d16": 0.0,
"heldout_byte_acc": 0.004069010416666667,
"heldout_record_exact": 0.0,
"heldout_answer_bpb": 8.517505466938019,
"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": 0.373,
"clip_compiler_reader": 0.257,
"clip_actions": 0.0,
"clip_carrier": 0.0,
"clip_spine": 616.545,
"step": 3999,
"loss": 2161.469482421875,
"train_bits": 2161.43,
"lam_mid": 1.0,
"cur_depth": 10,
"st": 0,
"s_per_step": 0.1035,
"wall_s": 413.9
}
}
],
"partial": false,
"result_file": "g1fs16_field_s2.json",
"off_law": {},
"certification_geometry": true
}