Update config.json
Browse files- config.json +4 -4
config.json
CHANGED
@@ -9,10 +9,10 @@
|
|
9 |
"hidden_dropout_prob": 0.1,
|
10 |
"hidden_size": 768,
|
11 |
"id2label": {
|
12 |
-
"0": "
|
13 |
-
"1": "
|
14 |
-
"2": "
|
15 |
-
"3": "
|
16 |
},
|
17 |
"initializer_range": 0.02,
|
18 |
"intermediate_size": 3072,
|
|
|
9 |
"hidden_dropout_prob": 0.1,
|
10 |
"hidden_size": 768,
|
11 |
"id2label": {
|
12 |
+
"0": "Basic",
|
13 |
+
"1": "Proof",
|
14 |
+
"2": "Theorem",
|
15 |
+
"3": "Overlap"
|
16 |
},
|
17 |
"initializer_range": 0.02,
|
18 |
"intermediate_size": 3072,
|