Update config.json
Browse files- config.json +3 -3
config.json
CHANGED
@@ -19,9 +19,9 @@
|
|
19 |
"intermediate_size": 3072,
|
20 |
"label2id": {
|
21 |
"Basic": 0,
|
22 |
-
"
|
23 |
-
"
|
24 |
-
"
|
25 |
},
|
26 |
"layer_norm_eps": 1e-12,
|
27 |
"max_position_embeddings": 512,
|
|
|
19 |
"intermediate_size": 3072,
|
20 |
"label2id": {
|
21 |
"Basic": 0,
|
22 |
+
"Proof": 1,
|
23 |
+
"Theorem": 2,
|
24 |
+
"Overlap": 3
|
25 |
},
|
26 |
"layer_norm_eps": 1e-12,
|
27 |
"max_position_embeddings": 512,
|