Upload tokenizer

special_tokens_map.json

@@ -0,0 +1,6 @@
+{
+  "bos_token": "/s",
+  "eos_token": "s",
+  "pad_token": "pad",
+  "unk_token": "unk"
+}

tokenizer_config.json

@@ -0,0 +1,44 @@
+{
+  "added_tokens_decoder": {
+    "0": {
+      "content": "unk",
+      "lstrip": false,
+      "normalized": false,
+      "rstrip": false,
+      "single_word": false,
+      "special": true
+    },
+    "1": {
+      "content": "pad",
+      "lstrip": false,
+      "normalized": false,
+      "rstrip": false,
+      "single_word": false,
+      "special": true
+    },
+    "2": {
+      "content": "/s",
+      "lstrip": false,
+      "normalized": false,
+      "rstrip": false,
+      "single_word": false,
+      "special": true
+    },
+    "3": {
+      "content": "s",
+      "lstrip": false,
+      "normalized": false,
+      "rstrip": false,
+      "single_word": false,
+      "special": true
+    }
+  },
+  "bos_token": "/s",
+  "clean_up_tokenization_spaces": false,
+  "eos_token": "s",
+  "extra_special_tokens": {},
+  "model_max_length": 512,
+  "pad_token": "pad",
+  "tokenizer_class": "STLTokenizer",
+  "unk_token": "unk"
+}

vocab.json

@@ -0,0 +1,37 @@
+{
+  "unk": 0,
+  "pad": 1,
+  "/s": 2,
+  "s": 3,
+  "(": 4,
+  ")": 5,
+  "always": 6,
+  "eventually": 7,
+  "until": 8,
+  "and": 9,
+  "or": 10,
+  "not": 11,
+  ">=": 12,
+  "<=": 13,
+  ">": 14,
+  "<": 15,
+  "=": 16,
+  "x_": 17,
+  "[": 18,
+  "]": 19,
+  ",": 20,
+  "inf": 21,
+  "-": 22,
+  ".": 23,
+  "0": 24,
+  "1": 25,
+  "2": 26,
+  "3": 27,
+  "4": 28,
+  "5": 29,
+  "6": 30,
+  "7": 31,
+  "8": 32,
+  "9": 33,
+  "@": 34
+}