hyunjongkimmath
commited on
Commit
•
768456a
1
Parent(s):
fb82664
Upload tokenizer
Browse files- added_tokens.json +541 -0
- special_tokens_map.json +107 -0
- spiece.model +3 -0
- tokenizer.json +0 -0
- tokenizer_config.json +113 -0
added_tokens.json
ADDED
@@ -0,0 +1,541 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"$$": 32100,
|
3 |
+
";;": 32638,
|
4 |
+
"\\AA": 32101,
|
5 |
+
"\\C": 32102,
|
6 |
+
"\\Delta": 32103,
|
7 |
+
"\\Deltatoo": 32104,
|
8 |
+
"\\Documents": 32105,
|
9 |
+
"\\Downarrow": 32106,
|
10 |
+
"\\Gamma": 32107,
|
11 |
+
"\\GammaRACT": 32108,
|
12 |
+
"\\Gammaacts": 32109,
|
13 |
+
"\\Gammadoes": 32110,
|
14 |
+
"\\Im": 32111,
|
15 |
+
"\\Lambda": 32112,
|
16 |
+
"\\LambdaMPLE": 32113,
|
17 |
+
"\\LambdaPTER": 32114,
|
18 |
+
"\\LambdaRK": 32115,
|
19 |
+
"\\LambdaYNAUD": 32116,
|
20 |
+
"\\Lambdamodule": 32117,
|
21 |
+
"\\Lambdamodules": 32118,
|
22 |
+
"\\Lambdappendix": 32119,
|
23 |
+
"\\Lambdas": 32120,
|
24 |
+
"\\Lambdaut": 32121,
|
25 |
+
"\\Leftarrow": 32122,
|
26 |
+
"\\Leftrightarrow": 32124,
|
27 |
+
"\\Longleftarrow": 32125,
|
28 |
+
"\\Longleftrightarrow": 32126,
|
29 |
+
"\\Longrightarrow": 32127,
|
30 |
+
"\\M": 32128,
|
31 |
+
"\\Math": 32129,
|
32 |
+
"\\Minv": 32130,
|
33 |
+
"\\Omega": 32131,
|
34 |
+
"\\Perp": 32132,
|
35 |
+
"\\PerpI": 32133,
|
36 |
+
"\\Phi": 32134,
|
37 |
+
"\\Pi": 32135,
|
38 |
+
"\\Pisentence": 32136,
|
39 |
+
"\\Pisentences": 32137,
|
40 |
+
"\\Psi": 32138,
|
41 |
+
"\\Psiitself": 32139,
|
42 |
+
"\\Psipre": 32140,
|
43 |
+
"\\Psir": 32141,
|
44 |
+
"\\Re": 32142,
|
45 |
+
"\\Rightarrow": 32143,
|
46 |
+
"\\S": 32145,
|
47 |
+
"\\SA": 32146,
|
48 |
+
"\\SD": 32147,
|
49 |
+
"\\SE": 32148,
|
50 |
+
"\\SF": 32149,
|
51 |
+
"\\SIII": 32150,
|
52 |
+
"\\SIV": 32151,
|
53 |
+
"\\SIX": 32152,
|
54 |
+
"\\SVII": 32153,
|
55 |
+
"\\Sigma": 32154,
|
56 |
+
"\\Subset": 32155,
|
57 |
+
"\\Theta": 32156,
|
58 |
+
"\\Uparrow": 32158,
|
59 |
+
"\\Upsilon": 32159,
|
60 |
+
"\\Users": 32160,
|
61 |
+
"\\Varangle": 32161,
|
62 |
+
"\\Vdash": 32162,
|
63 |
+
"\\Xi": 32163,
|
64 |
+
"\\aleph": 32164,
|
65 |
+
"\\alldifferent": 32165,
|
66 |
+
"\\alpha": 32166,
|
67 |
+
"\\alphapointwise": 32167,
|
68 |
+
"\\alphareversed": 32168,
|
69 |
+
"\\alphasurjective": 32169,
|
70 |
+
"\\amalg": 32170,
|
71 |
+
"\\angle": 32171,
|
72 |
+
"\\approx": 32172,
|
73 |
+
"\\arccos": 32173,
|
74 |
+
"\\arcsin": 32174,
|
75 |
+
"\\arctan": 32175,
|
76 |
+
"\\arg": 32176,
|
77 |
+
"\\ast": 32177,
|
78 |
+
"\\asymp": 32178,
|
79 |
+
"\\atop": 32179,
|
80 |
+
"\\backsim": 32180,
|
81 |
+
"\\backslash": 32181,
|
82 |
+
"\\bar": 32182,
|
83 |
+
"\\because": 32183,
|
84 |
+
"\\begin": 32184,
|
85 |
+
"\\beta": 32185,
|
86 |
+
"\\betaa": 32186,
|
87 |
+
"\\betaencharacter": 32187,
|
88 |
+
"\\betaencharakter": 32188,
|
89 |
+
"\\betaencharaktere": 32189,
|
90 |
+
"\\betaenoharaktere": 32190,
|
91 |
+
"\\betaerwesentliche": 32191,
|
92 |
+
"\\betaeverywhere": 32192,
|
93 |
+
"\\betao": 32193,
|
94 |
+
"\\beth": 32194,
|
95 |
+
"\\bigcap": 32195,
|
96 |
+
"\\bigcirc": 32196,
|
97 |
+
"\\bigcup": 32197,
|
98 |
+
"\\bigodot": 32198,
|
99 |
+
"\\bigoplus": 32199,
|
100 |
+
"\\bigotimes": 32200,
|
101 |
+
"\\bigsqcup": 32201,
|
102 |
+
"\\bigvee": 32202,
|
103 |
+
"\\bigwedge": 32203,
|
104 |
+
"\\binom": 32204,
|
105 |
+
"\\bmod": 32205,
|
106 |
+
"\\bmodL": 32206,
|
107 |
+
"\\boldsymbol": 32207,
|
108 |
+
"\\bowtie": 32208,
|
109 |
+
"\\boxminus": 32209,
|
110 |
+
"\\boxplus": 32210,
|
111 |
+
"\\boxtimes": 32211,
|
112 |
+
"\\breve": 32212,
|
113 |
+
"\\bullet": 32213,
|
114 |
+
"\\bumpeq": 32214,
|
115 |
+
"\\cap": 32215,
|
116 |
+
"\\capV": 32216,
|
117 |
+
"\\cdot": 32217,
|
118 |
+
"\\cdotFUNCTIONS": 32218,
|
119 |
+
"\\cdotideal": 32219,
|
120 |
+
"\\cdotr": 32220,
|
121 |
+
"\\cdots": 32221,
|
122 |
+
"\\cdotss": 32222,
|
123 |
+
"\\cdotvalues": 32223,
|
124 |
+
"\\check": 32224,
|
125 |
+
"\\checkmark": 32225,
|
126 |
+
"\\chi": 32226,
|
127 |
+
"\\circ": 32227,
|
128 |
+
"\\circdet": 32228,
|
129 |
+
"\\circf": 32229,
|
130 |
+
"\\circlearrowleft": 32230,
|
131 |
+
"\\circlearrowright": 32231,
|
132 |
+
"\\circledR": 32232,
|
133 |
+
"\\circledast": 32233,
|
134 |
+
"\\cjkend": 32234,
|
135 |
+
"\\cjkstart": 32235,
|
136 |
+
"\\cline": 32236,
|
137 |
+
"\\complement": 32237,
|
138 |
+
"\\cong": 32238,
|
139 |
+
"\\coprod": 32239,
|
140 |
+
"\\coprodAut": 32240,
|
141 |
+
"\\coprodU": 32241,
|
142 |
+
"\\cos": 32242,
|
143 |
+
"\\cosh": 32243,
|
144 |
+
"\\cot": 32244,
|
145 |
+
"\\cox": 32245,
|
146 |
+
"\\csc": 32246,
|
147 |
+
"\\cup": 32247,
|
148 |
+
"\\curlyvee": 32248,
|
149 |
+
"\\curlywedge": 32249,
|
150 |
+
"\\curvearrowleft": 32250,
|
151 |
+
"\\curvearrowright": 32251,
|
152 |
+
"\\dagger": 32252,
|
153 |
+
"\\dashv": 32253,
|
154 |
+
"\\ddagger": 32254,
|
155 |
+
"\\dddo": 32255,
|
156 |
+
"\\dddot": 32256,
|
157 |
+
"\\ddo": 32257,
|
158 |
+
"\\ddot": 32258,
|
159 |
+
"\\ddots": 32259,
|
160 |
+
"\\delta": 32260,
|
161 |
+
"\\deltafunctor": 32261,
|
162 |
+
"\\diamond": 32262,
|
163 |
+
"\\digamma": 32263,
|
164 |
+
"\\directory": 32264,
|
165 |
+
"\\div": 32265,
|
166 |
+
"\\dot": 32266,
|
167 |
+
"\\doteq": 32267,
|
168 |
+
"\\doteqdot": 32268,
|
169 |
+
"\\dots": 32269,
|
170 |
+
"\\downarrow": 32270,
|
171 |
+
"\\downharpoonright": 32271,
|
172 |
+
"\\ell": 32272,
|
173 |
+
"\\ellholds": 32273,
|
174 |
+
"\\ellrepresentation": 32274,
|
175 |
+
"\\emptyset": 32275,
|
176 |
+
"\\end": 32276,
|
177 |
+
"\\epsilon": 32277,
|
178 |
+
"\\epsilonKer": 32278,
|
179 |
+
"\\equiv": 32279,
|
180 |
+
"\\eta": 32280,
|
181 |
+
"\\ex": 32281,
|
182 |
+
"\\exists": 32282,
|
183 |
+
"\\existsc": 32283,
|
184 |
+
"\\existsclosed": 32284,
|
185 |
+
"\\exp": 32285,
|
186 |
+
"\\fallingdotseq": 32286,
|
187 |
+
"\\forall": 32287,
|
188 |
+
"\\forallsomething": 32288,
|
189 |
+
"\\frac": 32289,
|
190 |
+
"\\frown": 32290,
|
191 |
+
"\\gamma": 32291,
|
192 |
+
"\\gammavalues": 32292,
|
193 |
+
"\\gcd": 32293,
|
194 |
+
"\\geq": 32294,
|
195 |
+
"\\geqq": 32295,
|
196 |
+
"\\geqslant": 32296,
|
197 |
+
"\\gg": 32297,
|
198 |
+
"\\grave": 32298,
|
199 |
+
"\\gtrdot": 32299,
|
200 |
+
"\\gtreqless": 32300,
|
201 |
+
"\\gtrless": 32301,
|
202 |
+
"\\gtrsim": 32302,
|
203 |
+
"\\hat": 32303,
|
204 |
+
"\\hbar": 32304,
|
205 |
+
"\\hdashline": 32305,
|
206 |
+
"\\hline": 32306,
|
207 |
+
"\\hlinee": 32307,
|
208 |
+
"\\hookleftarrow": 32308,
|
209 |
+
"\\hookrightarrow": 32309,
|
210 |
+
"\\hyunj": 32310,
|
211 |
+
"\\iiint": 32311,
|
212 |
+
"\\iint": 32312,
|
213 |
+
"\\imath": 32313,
|
214 |
+
"\\in": 32314,
|
215 |
+
"\\inG": 32315,
|
216 |
+
"\\inMag": 32316,
|
217 |
+
"\\inX": 32317,
|
218 |
+
"\\inf": 32318,
|
219 |
+
"\\infty": 32319,
|
220 |
+
"\\inftyalso": 32320,
|
221 |
+
"\\inftyo": 32321,
|
222 |
+
"\\inftyramifies": 32322,
|
223 |
+
"\\inm": 32323,
|
224 |
+
"\\inn": 32324,
|
225 |
+
"\\int": 32325,
|
226 |
+
"\\intormula": 32326,
|
227 |
+
"\\iota": 32327,
|
228 |
+
"\\jmath": 32328,
|
229 |
+
"\\kappa": 32329,
|
230 |
+
"\\kappai": 32330,
|
231 |
+
"\\kappath": 32331,
|
232 |
+
"\\lambda": 32332,
|
233 |
+
"\\lambdaa": 32333,
|
234 |
+
"\\lambdafinite": 32334,
|
235 |
+
"\\lambdasemiring": 32335,
|
236 |
+
"\\langle": 32336,
|
237 |
+
"\\langlee": 32337,
|
238 |
+
"\\langleu": 32338,
|
239 |
+
"\\langley": 32339,
|
240 |
+
"\\latex": 32340,
|
241 |
+
"\\lceil": 32341,
|
242 |
+
"\\lceilk": 32342,
|
243 |
+
"\\lceiln": 32343,
|
244 |
+
"\\lcm": 32344,
|
245 |
+
"\\ldot": 32345,
|
246 |
+
"\\ldots": 32346,
|
247 |
+
"\\ldotsPROOF": 32347,
|
248 |
+
"\\ldotsetc": 32348,
|
249 |
+
"\\leadsto": 32349,
|
250 |
+
"\\left": 32350,
|
251 |
+
"\\leftarrow": 32123,
|
252 |
+
"\\leftleftarrows": 32351,
|
253 |
+
"\\leftrightarrow": 32352,
|
254 |
+
"\\leftrightarrows": 32353,
|
255 |
+
"\\leftrightharpoons": 32354,
|
256 |
+
"\\leq": 32355,
|
257 |
+
"\\leqq": 32356,
|
258 |
+
"\\leqslant": 32357,
|
259 |
+
"\\lessdot": 32358,
|
260 |
+
"\\lesseqgtr": 32359,
|
261 |
+
"\\lessgtr": 32360,
|
262 |
+
"\\lesssim": 32361,
|
263 |
+
"\\lfloor": 32362,
|
264 |
+
"\\lg": 32363,
|
265 |
+
"\\lim": 32364,
|
266 |
+
"\\liminf": 32365,
|
267 |
+
"\\limsup": 32366,
|
268 |
+
"\\ll": 32367,
|
269 |
+
"\\llbracket": 32368,
|
270 |
+
"\\llcorner": 32369,
|
271 |
+
"\\lll": 32370,
|
272 |
+
"\\ln": 32371,
|
273 |
+
"\\log": 32372,
|
274 |
+
"\\longdiv": 32373,
|
275 |
+
"\\longleftarrow": 32374,
|
276 |
+
"\\longleftrightarrow": 32375,
|
277 |
+
"\\longleftrightarrowEfi": 32376,
|
278 |
+
"\\longmapsto": 32377,
|
279 |
+
"\\longmapstomult": 32378,
|
280 |
+
"\\longrightarrow": 32379,
|
281 |
+
"\\lrcorner": 32380,
|
282 |
+
"\\ltimes": 32381,
|
283 |
+
"\\lvert": 32382,
|
284 |
+
"\\mapsto": 32383,
|
285 |
+
"\\mapstoW": 32384,
|
286 |
+
"\\mathbb": 32385,
|
287 |
+
"\\mathbbR": 32386,
|
288 |
+
"\\mathbbZrank": 32387,
|
289 |
+
"\\mathbbZtakes": 32388,
|
290 |
+
"\\mathbbl": 32389,
|
291 |
+
"\\mathbf": 32390,
|
292 |
+
"\\mathcal": 32391,
|
293 |
+
"\\mathcalM": 32392,
|
294 |
+
"\\mathcalom": 32393,
|
295 |
+
"\\mathfrak": 32394,
|
296 |
+
"\\mathrm": 32395,
|
297 |
+
"\\mathscr": 32396,
|
298 |
+
"\\mathscrB": 32397,
|
299 |
+
"\\mathscrS": 32398,
|
300 |
+
"\\mathscrf": 32399,
|
301 |
+
"\\matshcr": 32400,
|
302 |
+
"\\max": 32401,
|
303 |
+
"\\measuredangle": 32402,
|
304 |
+
"\\mho": 32403,
|
305 |
+
"\\mid": 32404,
|
306 |
+
"\\min": 32405,
|
307 |
+
"\\models": 32406,
|
308 |
+
"\\mp": 32407,
|
309 |
+
"\\mu": 32408,
|
310 |
+
"\\mudominant": 32409,
|
311 |
+
"\\muexists": 32410,
|
312 |
+
"\\mufinite": 32411,
|
313 |
+
"\\multicolumn": 32412,
|
314 |
+
"\\multimap": 32413,
|
315 |
+
"\\multirow": 32414,
|
316 |
+
"\\n": 32415,
|
317 |
+
"\\nLeftarrow": 32416,
|
318 |
+
"\\nRightarrow": 32417,
|
319 |
+
"\\nVdash": 32418,
|
320 |
+
"\\nabla": 32419,
|
321 |
+
"\\natural": 32420,
|
322 |
+
"\\nearrow": 32421,
|
323 |
+
"\\neg": 32422,
|
324 |
+
"\\neq": 32423,
|
325 |
+
"\\neqId": 32424,
|
326 |
+
"\\neqid": 32425,
|
327 |
+
"\\nexists": 32426,
|
328 |
+
"\\ngtr": 32427,
|
329 |
+
"\\ni": 32428,
|
330 |
+
"\\nleftarrow": 32429,
|
331 |
+
"\\nless": 32430,
|
332 |
+
"\\nmid": 32431,
|
333 |
+
"\\nmidDisc": 32432,
|
334 |
+
"\\not": 32433,
|
335 |
+
"\\notin": 32434,
|
336 |
+
"\\nprec": 32435,
|
337 |
+
"\\npreceq": 32436,
|
338 |
+
"\\nrightarrow": 32437,
|
339 |
+
"\\nsim": 32438,
|
340 |
+
"\\nsubseteq": 32439,
|
341 |
+
"\\nsucc": 32440,
|
342 |
+
"\\nsucceq": 32441,
|
343 |
+
"\\nsupseteq": 32442,
|
344 |
+
"\\nu": 32443,
|
345 |
+
"\\nvdash": 32444,
|
346 |
+
"\\nwarrow": 32445,
|
347 |
+
"\\odot": 32446,
|
348 |
+
"\\oepratorname": 32447,
|
349 |
+
"\\oiiint": 32448,
|
350 |
+
"\\oiint": 32449,
|
351 |
+
"\\oint": 32450,
|
352 |
+
"\\omega": 32451,
|
353 |
+
"\\omegaest": 32452,
|
354 |
+
"\\ominus": 32453,
|
355 |
+
"\\operatorname": 32454,
|
356 |
+
"\\operatornamemap": 32455,
|
357 |
+
"\\oplus": 32456,
|
358 |
+
"\\oslash": 32457,
|
359 |
+
"\\otimes": 32458,
|
360 |
+
"\\otimese": 32459,
|
361 |
+
"\\overbrace": 32460,
|
362 |
+
"\\overleftarrow": 32461,
|
363 |
+
"\\overleftrightarrow": 32462,
|
364 |
+
"\\overlin": 32463,
|
365 |
+
"\\overline": 32464,
|
366 |
+
"\\overparen": 32465,
|
367 |
+
"\\overrightarrow": 32466,
|
368 |
+
"\\p": 32467,
|
369 |
+
"\\parallel": 32468,
|
370 |
+
"\\partial": 32469,
|
371 |
+
"\\partialM": 32470,
|
372 |
+
"\\partiala": 32471,
|
373 |
+
"\\partialb": 32472,
|
374 |
+
"\\perp": 32473,
|
375 |
+
"\\phi": 32474,
|
376 |
+
"\\phicommute": 32475,
|
377 |
+
"\\pi": 32476,
|
378 |
+
"\\pifinite": 32477,
|
379 |
+
"\\pitchfork": 32478,
|
380 |
+
"\\pitwist": 32479,
|
381 |
+
"\\pm": 32480,
|
382 |
+
"\\prec": 32481,
|
383 |
+
"\\preccurlyeq": 32482,
|
384 |
+
"\\preceq": 32483,
|
385 |
+
"\\precsim": 32484,
|
386 |
+
"\\prime": 32485,
|
387 |
+
"\\prod": 32486,
|
388 |
+
"\\propto": 32487,
|
389 |
+
"\\psi": 32488,
|
390 |
+
"\\psidoes": 32489,
|
391 |
+
"\\qquad": 32490,
|
392 |
+
"\\qua": 32491,
|
393 |
+
"\\quad": 32492,
|
394 |
+
"\\quada": 32493,
|
395 |
+
"\\rangle": 32494,
|
396 |
+
"\\rceil": 32495,
|
397 |
+
"\\rfloor": 32496,
|
398 |
+
"\\rho": 32497,
|
399 |
+
"\\rhofollows": 32498,
|
400 |
+
"\\rhooperator": 32499,
|
401 |
+
"\\right": 32500,
|
402 |
+
"\\rightarrow": 32144,
|
403 |
+
"\\rightarrowA": 32501,
|
404 |
+
"\\rightarrowC": 32502,
|
405 |
+
"\\rightarrowFinord": 32503,
|
406 |
+
"\\rightarrowSet": 32504,
|
407 |
+
"\\rightarrowSets": 32505,
|
408 |
+
"\\rightarrowf": 32506,
|
409 |
+
"\\rightharpoonup": 32507,
|
410 |
+
"\\rightleftarrows": 32508,
|
411 |
+
"\\rightleftharpoons": 32509,
|
412 |
+
"\\rightrightarrows": 32510,
|
413 |
+
"\\rightsquigarrow": 32511,
|
414 |
+
"\\risingdotseq": 32512,
|
415 |
+
"\\rrbracket": 32513,
|
416 |
+
"\\rtimes": 32514,
|
417 |
+
"\\rvert": 32515,
|
418 |
+
"\\searrow": 32516,
|
419 |
+
"\\sec": 32517,
|
420 |
+
"\\section": 32518,
|
421 |
+
"\\setminus": 32519,
|
422 |
+
"\\sharp": 32520,
|
423 |
+
"\\sigma": 32521,
|
424 |
+
"\\sim": 32522,
|
425 |
+
"\\simeq": 32523,
|
426 |
+
"\\simeqid": 32524,
|
427 |
+
"\\simr": 32525,
|
428 |
+
"\\sin": 32526,
|
429 |
+
"\\sinh": 32527,
|
430 |
+
"\\smile": 32528,
|
431 |
+
"\\sqcap": 32529,
|
432 |
+
"\\sqcup": 32530,
|
433 |
+
"\\sqrt": 32531,
|
434 |
+
"\\sqsubset": 32532,
|
435 |
+
"\\sqsubseteq": 32533,
|
436 |
+
"\\sqsupset": 32534,
|
437 |
+
"\\sqsupseteq": 32535,
|
438 |
+
"\\square": 32536,
|
439 |
+
"\\stackrel": 32537,
|
440 |
+
"\\star": 32538,
|
441 |
+
"\\starEXERCISE": 32539,
|
442 |
+
"\\subsection": 32540,
|
443 |
+
"\\subset": 32541,
|
444 |
+
"\\subsetA": 32542,
|
445 |
+
"\\subsetM": 32543,
|
446 |
+
"\\subseteq": 32544,
|
447 |
+
"\\subseteqW": 32545,
|
448 |
+
"\\subsetneq": 32546,
|
449 |
+
"\\substack": 32547,
|
450 |
+
"\\subsubsection": 32548,
|
451 |
+
"\\succ": 32549,
|
452 |
+
"\\succcurlyeq": 32550,
|
453 |
+
"\\succeq": 32551,
|
454 |
+
"\\succsim": 32552,
|
455 |
+
"\\sum": 32553,
|
456 |
+
"\\sup": 32554,
|
457 |
+
"\\supset": 32555,
|
458 |
+
"\\supseteq": 32556,
|
459 |
+
"\\supseteqq": 32557,
|
460 |
+
"\\supsetneq": 32558,
|
461 |
+
"\\supsetneqq": 32559,
|
462 |
+
"\\swarrow": 32560,
|
463 |
+
"\\tag": 32561,
|
464 |
+
"\\tan": 32562,
|
465 |
+
"\\tanh": 32563,
|
466 |
+
"\\tau": 32564,
|
467 |
+
"\\taualent": 32565,
|
468 |
+
"\\tauariety": 32566,
|
469 |
+
"\\tauphism": 32567,
|
470 |
+
"\\tauphistn": 32568,
|
471 |
+
"\\taupure": 32569,
|
472 |
+
"\\text": 32570,
|
473 |
+
"\\textbf": 32571,
|
474 |
+
"\\textrm": 32572,
|
475 |
+
"\\textrmK": 32573,
|
476 |
+
"\\therefore": 32574,
|
477 |
+
"\\theta": 32575,
|
478 |
+
"\\thetaalone": 32576,
|
479 |
+
"\\thetaexplicit": 32577,
|
480 |
+
"\\thetaworks": 32578,
|
481 |
+
"\\tilde": 32579,
|
482 |
+
"\\times": 32580,
|
483 |
+
"\\timesm": 32581,
|
484 |
+
"\\to": 32157,
|
485 |
+
"\\top": 32582,
|
486 |
+
"\\triangle": 32583,
|
487 |
+
"\\triangleleft": 32584,
|
488 |
+
"\\triangleq": 32585,
|
489 |
+
"\\triangleright": 32586,
|
490 |
+
"\\ulcorner": 32587,
|
491 |
+
"\\underbrace": 32588,
|
492 |
+
"\\underline": 32589,
|
493 |
+
"\\underset": 32590,
|
494 |
+
"\\unlhd": 32591,
|
495 |
+
"\\unrhd": 32592,
|
496 |
+
"\\uparrow": 32593,
|
497 |
+
"\\upharpoonleft": 32594,
|
498 |
+
"\\upharpoonright": 32595,
|
499 |
+
"\\uplus": 32596,
|
500 |
+
"\\urcorner": 32597,
|
501 |
+
"\\vDash": 32598,
|
502 |
+
"\\varangle": 32599,
|
503 |
+
"\\varepsilon": 32600,
|
504 |
+
"\\varepsilona": 32601,
|
505 |
+
"\\varepsilonarrow": 32602,
|
506 |
+
"\\varepsilonarrows": 32603,
|
507 |
+
"\\varinjlim": 32604,
|
508 |
+
"\\varkappa": 32605,
|
509 |
+
"\\varliminf": 32606,
|
510 |
+
"\\varlimsup": 32607,
|
511 |
+
"\\varnothing": 32608,
|
512 |
+
"\\varphi": 32609,
|
513 |
+
"\\varphiare": 32610,
|
514 |
+
"\\varphiitself": 32611,
|
515 |
+
"\\varphiw": 32612,
|
516 |
+
"\\varpi": 32613,
|
517 |
+
"\\varprojlim": 32614,
|
518 |
+
"\\varrho": 32615,
|
519 |
+
"\\varsigma": 32616,
|
520 |
+
"\\varsubsetneqq": 32617,
|
521 |
+
"\\vartheta": 32618,
|
522 |
+
"\\varthetaa": 32619,
|
523 |
+
"\\vdash": 32620,
|
524 |
+
"\\vdots": 32621,
|
525 |
+
"\\vec": 32622,
|
526 |
+
"\\vecara": 32623,
|
527 |
+
"\\vee": 32624,
|
528 |
+
"\\vigvec": 32625,
|
529 |
+
"\\wedge": 32626,
|
530 |
+
"\\wedgeT": 32627,
|
531 |
+
"\\wedgeid": 32628,
|
532 |
+
"\\widehat": 32629,
|
533 |
+
"\\widehatat": 32630,
|
534 |
+
"\\widetilde": 32631,
|
535 |
+
"\\wp": 32632,
|
536 |
+
"\\xi": 32633,
|
537 |
+
"\\xlongequal": 32634,
|
538 |
+
"\\xrightarrow": 32635,
|
539 |
+
"\\your": 32636,
|
540 |
+
"\\zeta": 32637
|
541 |
+
}
|
special_tokens_map.json
ADDED
@@ -0,0 +1,107 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"additional_special_tokens": [
|
3 |
+
"<extra_id_0>",
|
4 |
+
"<extra_id_1>",
|
5 |
+
"<extra_id_2>",
|
6 |
+
"<extra_id_3>",
|
7 |
+
"<extra_id_4>",
|
8 |
+
"<extra_id_5>",
|
9 |
+
"<extra_id_6>",
|
10 |
+
"<extra_id_7>",
|
11 |
+
"<extra_id_8>",
|
12 |
+
"<extra_id_9>",
|
13 |
+
"<extra_id_10>",
|
14 |
+
"<extra_id_11>",
|
15 |
+
"<extra_id_12>",
|
16 |
+
"<extra_id_13>",
|
17 |
+
"<extra_id_14>",
|
18 |
+
"<extra_id_15>",
|
19 |
+
"<extra_id_16>",
|
20 |
+
"<extra_id_17>",
|
21 |
+
"<extra_id_18>",
|
22 |
+
"<extra_id_19>",
|
23 |
+
"<extra_id_20>",
|
24 |
+
"<extra_id_21>",
|
25 |
+
"<extra_id_22>",
|
26 |
+
"<extra_id_23>",
|
27 |
+
"<extra_id_24>",
|
28 |
+
"<extra_id_25>",
|
29 |
+
"<extra_id_26>",
|
30 |
+
"<extra_id_27>",
|
31 |
+
"<extra_id_28>",
|
32 |
+
"<extra_id_29>",
|
33 |
+
"<extra_id_30>",
|
34 |
+
"<extra_id_31>",
|
35 |
+
"<extra_id_32>",
|
36 |
+
"<extra_id_33>",
|
37 |
+
"<extra_id_34>",
|
38 |
+
"<extra_id_35>",
|
39 |
+
"<extra_id_36>",
|
40 |
+
"<extra_id_37>",
|
41 |
+
"<extra_id_38>",
|
42 |
+
"<extra_id_39>",
|
43 |
+
"<extra_id_40>",
|
44 |
+
"<extra_id_41>",
|
45 |
+
"<extra_id_42>",
|
46 |
+
"<extra_id_43>",
|
47 |
+
"<extra_id_44>",
|
48 |
+
"<extra_id_45>",
|
49 |
+
"<extra_id_46>",
|
50 |
+
"<extra_id_47>",
|
51 |
+
"<extra_id_48>",
|
52 |
+
"<extra_id_49>",
|
53 |
+
"<extra_id_50>",
|
54 |
+
"<extra_id_51>",
|
55 |
+
"<extra_id_52>",
|
56 |
+
"<extra_id_53>",
|
57 |
+
"<extra_id_54>",
|
58 |
+
"<extra_id_55>",
|
59 |
+
"<extra_id_56>",
|
60 |
+
"<extra_id_57>",
|
61 |
+
"<extra_id_58>",
|
62 |
+
"<extra_id_59>",
|
63 |
+
"<extra_id_60>",
|
64 |
+
"<extra_id_61>",
|
65 |
+
"<extra_id_62>",
|
66 |
+
"<extra_id_63>",
|
67 |
+
"<extra_id_64>",
|
68 |
+
"<extra_id_65>",
|
69 |
+
"<extra_id_66>",
|
70 |
+
"<extra_id_67>",
|
71 |
+
"<extra_id_68>",
|
72 |
+
"<extra_id_69>",
|
73 |
+
"<extra_id_70>",
|
74 |
+
"<extra_id_71>",
|
75 |
+
"<extra_id_72>",
|
76 |
+
"<extra_id_73>",
|
77 |
+
"<extra_id_74>",
|
78 |
+
"<extra_id_75>",
|
79 |
+
"<extra_id_76>",
|
80 |
+
"<extra_id_77>",
|
81 |
+
"<extra_id_78>",
|
82 |
+
"<extra_id_79>",
|
83 |
+
"<extra_id_80>",
|
84 |
+
"<extra_id_81>",
|
85 |
+
"<extra_id_82>",
|
86 |
+
"<extra_id_83>",
|
87 |
+
"<extra_id_84>",
|
88 |
+
"<extra_id_85>",
|
89 |
+
"<extra_id_86>",
|
90 |
+
"<extra_id_87>",
|
91 |
+
"<extra_id_88>",
|
92 |
+
"<extra_id_89>",
|
93 |
+
"<extra_id_90>",
|
94 |
+
"<extra_id_91>",
|
95 |
+
"<extra_id_92>",
|
96 |
+
"<extra_id_93>",
|
97 |
+
"<extra_id_94>",
|
98 |
+
"<extra_id_95>",
|
99 |
+
"<extra_id_96>",
|
100 |
+
"<extra_id_97>",
|
101 |
+
"<extra_id_98>",
|
102 |
+
"<extra_id_99>"
|
103 |
+
],
|
104 |
+
"eos_token": "</s>",
|
105 |
+
"pad_token": "<pad>",
|
106 |
+
"unk_token": "<unk>"
|
107 |
+
}
|
spiece.model
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:d60acb128cf7b7f2536e8f38a5b18a05535c9e14c7a355904270e15b0945ea86
|
3 |
+
size 791656
|
tokenizer.json
ADDED
The diff for this file is too large to render.
See raw diff
|
|
tokenizer_config.json
ADDED
@@ -0,0 +1,113 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"additional_special_tokens": [
|
3 |
+
"<extra_id_0>",
|
4 |
+
"<extra_id_1>",
|
5 |
+
"<extra_id_2>",
|
6 |
+
"<extra_id_3>",
|
7 |
+
"<extra_id_4>",
|
8 |
+
"<extra_id_5>",
|
9 |
+
"<extra_id_6>",
|
10 |
+
"<extra_id_7>",
|
11 |
+
"<extra_id_8>",
|
12 |
+
"<extra_id_9>",
|
13 |
+
"<extra_id_10>",
|
14 |
+
"<extra_id_11>",
|
15 |
+
"<extra_id_12>",
|
16 |
+
"<extra_id_13>",
|
17 |
+
"<extra_id_14>",
|
18 |
+
"<extra_id_15>",
|
19 |
+
"<extra_id_16>",
|
20 |
+
"<extra_id_17>",
|
21 |
+
"<extra_id_18>",
|
22 |
+
"<extra_id_19>",
|
23 |
+
"<extra_id_20>",
|
24 |
+
"<extra_id_21>",
|
25 |
+
"<extra_id_22>",
|
26 |
+
"<extra_id_23>",
|
27 |
+
"<extra_id_24>",
|
28 |
+
"<extra_id_25>",
|
29 |
+
"<extra_id_26>",
|
30 |
+
"<extra_id_27>",
|
31 |
+
"<extra_id_28>",
|
32 |
+
"<extra_id_29>",
|
33 |
+
"<extra_id_30>",
|
34 |
+
"<extra_id_31>",
|
35 |
+
"<extra_id_32>",
|
36 |
+
"<extra_id_33>",
|
37 |
+
"<extra_id_34>",
|
38 |
+
"<extra_id_35>",
|
39 |
+
"<extra_id_36>",
|
40 |
+
"<extra_id_37>",
|
41 |
+
"<extra_id_38>",
|
42 |
+
"<extra_id_39>",
|
43 |
+
"<extra_id_40>",
|
44 |
+
"<extra_id_41>",
|
45 |
+
"<extra_id_42>",
|
46 |
+
"<extra_id_43>",
|
47 |
+
"<extra_id_44>",
|
48 |
+
"<extra_id_45>",
|
49 |
+
"<extra_id_46>",
|
50 |
+
"<extra_id_47>",
|
51 |
+
"<extra_id_48>",
|
52 |
+
"<extra_id_49>",
|
53 |
+
"<extra_id_50>",
|
54 |
+
"<extra_id_51>",
|
55 |
+
"<extra_id_52>",
|
56 |
+
"<extra_id_53>",
|
57 |
+
"<extra_id_54>",
|
58 |
+
"<extra_id_55>",
|
59 |
+
"<extra_id_56>",
|
60 |
+
"<extra_id_57>",
|
61 |
+
"<extra_id_58>",
|
62 |
+
"<extra_id_59>",
|
63 |
+
"<extra_id_60>",
|
64 |
+
"<extra_id_61>",
|
65 |
+
"<extra_id_62>",
|
66 |
+
"<extra_id_63>",
|
67 |
+
"<extra_id_64>",
|
68 |
+
"<extra_id_65>",
|
69 |
+
"<extra_id_66>",
|
70 |
+
"<extra_id_67>",
|
71 |
+
"<extra_id_68>",
|
72 |
+
"<extra_id_69>",
|
73 |
+
"<extra_id_70>",
|
74 |
+
"<extra_id_71>",
|
75 |
+
"<extra_id_72>",
|
76 |
+
"<extra_id_73>",
|
77 |
+
"<extra_id_74>",
|
78 |
+
"<extra_id_75>",
|
79 |
+
"<extra_id_76>",
|
80 |
+
"<extra_id_77>",
|
81 |
+
"<extra_id_78>",
|
82 |
+
"<extra_id_79>",
|
83 |
+
"<extra_id_80>",
|
84 |
+
"<extra_id_81>",
|
85 |
+
"<extra_id_82>",
|
86 |
+
"<extra_id_83>",
|
87 |
+
"<extra_id_84>",
|
88 |
+
"<extra_id_85>",
|
89 |
+
"<extra_id_86>",
|
90 |
+
"<extra_id_87>",
|
91 |
+
"<extra_id_88>",
|
92 |
+
"<extra_id_89>",
|
93 |
+
"<extra_id_90>",
|
94 |
+
"<extra_id_91>",
|
95 |
+
"<extra_id_92>",
|
96 |
+
"<extra_id_93>",
|
97 |
+
"<extra_id_94>",
|
98 |
+
"<extra_id_95>",
|
99 |
+
"<extra_id_96>",
|
100 |
+
"<extra_id_97>",
|
101 |
+
"<extra_id_98>",
|
102 |
+
"<extra_id_99>"
|
103 |
+
],
|
104 |
+
"clean_up_tokenization_spaces": true,
|
105 |
+
"eos_token": "</s>",
|
106 |
+
"extra_ids": 100,
|
107 |
+
"model_max_length": 512,
|
108 |
+
"name_or_path": "./models/definition_naming_model_2024_06_03_2",
|
109 |
+
"pad_token": "<pad>",
|
110 |
+
"special_tokens_map_file": null,
|
111 |
+
"tokenizer_class": "T5Tokenizer",
|
112 |
+
"unk_token": "<unk>"
|
113 |
+
}
|