Hugging Face's logo

deepadapt
/
trident-ec

Model card Files
xet
 Community
farguney commited on
Commit
6992615
·
verified ·
1 Parent(s): 2322a13

Upload g1lc3_s1.json with huggingface_hub

Browse files
Files changed (1) hide show
  1. g1lc3_s1.json +124 -0
g1lc3_s1.json ADDED
@@ -0,0 +1,124 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "screen": "G1-FS16",
3
+ "arm": "field",
4
+ "seeds": [
5
+ 1
6
+ ],
7
+ "nonce": 0,
8
+ "steps": 4000,
9
+ "events": 2,
10
+ "m_records": 16,
11
+ "d": 64,
12
+ "layers": 3,
13
+ "carrier": 256,
14
+ "train_depth": 10,
15
+ "closure": 16,
16
+ "lam_mid": 0.0,
17
+ "lam_cpu": 0.02,
18
+ "lam_a": 0.02,
19
+ "mid_warmup": 0.0,
20
+ "curriculum": 0.0,
21
+ "straight_through": true,
22
+ "st_after": 0.0,
23
+ "act_init": 4.0,
24
+ "sampled": true,
25
+ "eps": 0.05,
26
+ "device": "cuda",
27
+ "runs": [
28
+ {
29
+ "seed": 1,
30
+ "oracle": {
31
+ "worst_acc": 1.0,
32
+ "worst_depth": -1,
33
+ "max_mid_entropy": 0.001111512305215001,
34
+ "pass": true
35
+ },
36
+ "history": [
37
+ {
38
+ "acc_d11": 0.002,
39
+ "exact_d11": 0.0,
40
+ "acc_d12": 0.0029,
41
+ "exact_d12": 0.0,
42
+ "acc_d13": 0.0059,
43
+ "exact_d13": 0.0,
44
+ "acc_d14": 0.002,
45
+ "exact_d14": 0.0,
46
+ "acc_d15": 0.001,
47
+ "exact_d15": 0.0,
48
+ "acc_d16": 0.0039,
49
+ "exact_d16": 0.0,
50
+ "heldout_byte_acc": 0.0029296875,
51
+ "heldout_record_exact": 0.0,
52
+ "heldout_answer_bpb": 8.065880447626114,
53
+ "heldout_min_exact": 0.0,
54
+ "singleton_len1": 1.0,
55
+ "distinct_codes": 1.0,
56
+ "code_map": "[1, 0]",
57
+ "empty_word_rate": 1.0,
58
+ "word_purity": 1.0,
59
+ "word_len_match": 1.0,
60
+ "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]",
61
+ "purity_trained": 1.0,
62
+ "purity_closure": 1.0,
63
+ "clip_compiler_symbols": 5.733291626,
64
+ "clip_compiler_reader": 13.3898983,
65
+ "clip_actions": 15.20424747,
66
+ "clip_carrier": 17.69692993,
67
+ "clip_spine": 4386.623535,
68
+ "step": 0,
69
+ "loss": 4212.9423828125,
70
+ "train_bits": 4170.34,
71
+ "lam_mid": 0.0,
72
+ "cur_depth": 10,
73
+ "st": 1,
74
+ "s_per_step": 1.794,
75
+ "wall_s": 1.8
76
+ }
77
+ ],
78
+ "final": {
79
+ "acc_d11": 0.002,
80
+ "exact_d11": 0.0,
81
+ "acc_d12": 0.0029,
82
+ "exact_d12": 0.0,
83
+ "acc_d13": 0.0059,
84
+ "exact_d13": 0.0,
85
+ "acc_d14": 0.002,
86
+ "exact_d14": 0.0,
87
+ "acc_d15": 0.001,
88
+ "exact_d15": 0.0,
89
+ "acc_d16": 0.0039,
90
+ "exact_d16": 0.0,
91
+ "heldout_byte_acc": 0.0029296875,
92
+ "heldout_record_exact": 0.0,
93
+ "heldout_answer_bpb": 8.065880447626114,
94
+ "heldout_min_exact": 0.0,
95
+ "singleton_len1": 1.0,
96
+ "distinct_codes": 1.0,
97
+ "code_map": "[1, 0]",
98
+ "empty_word_rate": 1.0,
99
+ "word_purity": 1.0,
100
+ "word_len_match": 1.0,
101
+ "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]",
102
+ "purity_trained": 1.0,
103
+ "purity_closure": 1.0,
104
+ "clip_compiler_symbols": 5.733291626,
105
+ "clip_compiler_reader": 13.3898983,
106
+ "clip_actions": 15.20424747,
107
+ "clip_carrier": 17.69692993,
108
+ "clip_spine": 4386.623535,
109
+ "step": 0,
110
+ "loss": 4212.9423828125,
111
+ "train_bits": 4170.34,
112
+ "lam_mid": 0.0,
113
+ "cur_depth": 10,
114
+ "st": 1,
115
+ "s_per_step": 1.794,
116
+ "wall_s": 1.8
117
+ }
118
+ }
119
+ ],
120
+ "partial": true,
121
+ "result_file": "g1lc3_s1.json",
122
+ "off_law": {},
123
+ "certification_geometry": true
124
+ }