jasperdew's picture
Add formula-own-v1 weights, card and provenance
c6a2deb verified
Raw History Blame Contribute Delete
12.2 kB
{"tokens": ["<pad>", "<bos>", "<eos>", "<unk>", "{", "}", "_", ")", "(", "^", ",", "1", "=", "2", "-", "t", "+", "i", "0", ".", "\\frac", "x", "n", "r", "d", "|", "a", "k", "s", "\\mathrm", "e", "\\right", "\\,", "j", "p", "\\mathcal", "\\left", "m", "c", "u", "f", "A", "T", "L", "v", "R", "[", "]", "h", "y", "3", "\\mathbf", "C", "z", "q", "\\sum", "N", "S", "P", "E", "g", "\\|", "\\leq", "\\qquad", "b", "\\alpha", "M", "\\in", "\\\\", "o", "B", "l", "\\mathbb", "X", "D", "H", "\\lambda", "4", "F", "\\theta", "\\prime", "\\mu", "K", "\\", "", ":", "G", "/", "&", "I", "\\beta", "\\rm", "w", "V", "\\{", "\\rho", "\\partial", "\\}", "\\ell", "\\text", "\\;", "\\pi", "\\tau", "\\bm", "\\sigma", "\\int", "\\delta", "\\operatorname", "Q", "\\phi", "\\quad", "*", "U", "\\eta", "\\Delta", "W", "\\varepsilon", "\\sqrt", "\\!", "\\gamma", "5", "J", "\\hat", "\\omega", "Y", "Z", "\\cdot", "\\begin{aligned}", "\\end{aligned}", "\\big", "\\geq", "\\bar", "\\nu", "\\rangle", "\\log", "\\boldsymbol", "\\xi", "6", "\\infty", ";", "\\nabla", "O", "\\bigl", "\\langle", "\\bigr", "\\psi", "<", "\\Phi", "\\mid", "8", "\\epsilon", "\\widetilde", "\\Omega", "\\tilde", "\\kappa", "\\widehat", "\\Gamma", ">", "\\times", "\\overline", "\\chi", "\\Lambda", "7", "~", "\\mathsf", "\\varphi", "\\to", "\\Big", "\\max", "9", "\\mathfrak", "\\top", "\\ldots", "\\min", "\\exp", "\\Psi", "\\zeta", "\\bf", "\\sim", "\\dot", "\\Sigma", "\\lVert", "\\rVert", "\\star", "\\otimes", "\\prod", "\\cdots", "\\pm", "\\Theta", "\\longrightarrow", "\\neq", "\\cos", "\\sup", "\\tfrac", "$", "\\equiv", "\\sin", "\\Pi", "\\ln", "\\cap", "\\circ", "\\dagger", "\\begin{pmatrix}", "\\end{pmatrix}", "\\begin{cases}", "\\end{cases}", "\\cal", "\\binom", "\\rightarrow", "!", "\\dots", "\\ast", "\\ignorespaces", "\\_", "\\dfrac", "\\mathscr", "\\simeq", "\\perp", "\\wedge", "\\lim", "\\approx", "\\forall", "\\underline", "\\bigg", "\\Bigl", "\\Bigr", "\\vec", "\\cup", "\\lvert", "\\mbox", "\\begin{split}", "\\end{split}", "\\lesssim", "\\setminus", "\\ket", "\\oplus", "\\subseteq", "\\vartheta", "\\vee", "\\begin{subarray}", "\\end{subarray}", "\\rvert", "\\subset", "\\mathop", "\\limits", "\\begin{array}", "\\end{array}", "\\Pr", "\\#", "\\leqslant", "\\inf", "\\odot", "\\ll", "\\xrightarrow", "\\underbrace", "\\iota", "\\hbar", "\\lfloor", "\\det", "\\rfloor", "\\coloneqq", "\\left.", "\\hskip", "\\cong", "\\arg", "\\propto", "\\textrm", "\\Bigg", "\\mapsto", "\\longmapsto", "\\begin{bmatrix}", "\\end{bmatrix}", "\\leftarrow", "\\dim", "\\bullet", "\\textup", "\\Xi", "\\vdots", "\\notin", "\\Upsilon", "\\bigcup", "\\textbf", "\\downarrow", "\\pmod", "\\parallel", "\\boxed", "\\Longrightarrow", "\\mathtt", "\\Longleftrightarrow", "\\rceil", "\\lceil", "\\Box", "\\middle", "\\varnothing", "\\cosh", "\\varpi", "\\mathds", "\\right.", "\\colon", "\\cr", "\\deg", "\\boldmath", "\\exists", "\\tanh", "\\hbox", "\\sinh", "\\bra", "\\varsigma", "\\mathrel", "\\mathbbm", "\\geqslant", "@", "\\varrho", "\\mathbin", "\\not", "\\uparrow", "\\limsup", "\\ker", "\\flat", "\\land", "\\sf", "\\>", "\\emptyset", "\\bigoplus", "\\itbf", "\\biggl", "\\asymp", "\\sharp", "\\overset", "\\ddot", "\\biggr", "\\neg", "\\stackrel", "\\texttt", "\\square", "\\kern", "\\Bbbk", "\\hline", "\\begin{gathered}", "\\end{gathered}", "\\implies", "\\triangleq", "\\mathit", "\\preceq", "\\Rightarrow", "\\nolimits", "\\mkern", "\\underset", "\\Re", "\\iff", "\\mp", "\\ddots", "\\diamond", "\\prec", "\\leftrightarrow", "\\lrcorner", "\\bigcap", "\\iint", "\\coloneq", "\\gg", "\\tan", "\\liminf", "\\genfrac", "\\sqcup", "\\bmod", "\\over", "\\gtrsim", "\\textsc", "\\varOmega", "\\longleftrightarrow", "\\upsilon", "\\fint", "\\differential", "\\triangleleft", "\\check", "\\supset", "\\textnormal", "\\%", "\\succeq", "\\gcd", "\\bot", "\\BFx", "\\arctan", "\\eqref", "\\oint", "\\BFxi", "\\bigotimes", "`", "\\phantom", "\\wp", "\\mathring", "\\textsf", "\\models", "\\Im", "\\backslash", "\\color", "\\braket", "\\absolutevalue", "\\Diamond", "\\triangle", "\\hookrightarrow", "\\relax", "\\scalebox", "\\scriptsize", "\\nmid", "\\mathchar", "\\mathord", "\\bigwedge", "\\lor", "\\&", "\\rtimes", "\\cot", "\\qed", "\\begin{matrix}", "\\end{matrix}", "\\arccos", "\\llbracket", "\\rrbracket", "'", "\\varDelta", "\\vdash", "\\textit", "\\brace", "\\coth", "?", "\\Tr", "\\boxtimes", "\\vartriangle", "\\Biggr", "\\tiny", "\\mathchoice", "\\raisebox", "\\accentset", "\\Biggl", "\\imath", "\\vspace", "\\BFs", "\\vphantom", "\\ni", "\\ominus", "\\overrightarrow", "\\jmath", "\\subsetneq", "\\bigsqcup", "\\tt", "\\Leftrightarrow", "\\bigvee", "\\intercal", "\\bigm", "\\BFd", "\\dashrightarrow", "\\twoheadrightarrow", "\\mod", "\\BFC", "\\sec", "\\varkappa", "\\mathsfbr", "\\varPi", "\\angle", "\\succsim", "\\succ", "\\aleph", "\\choose", "\\bigtriangleup", "\\smallsetminus", "\\ooalign", "\\tr", "\\SS", "\\hfil", "\\breve", "\\rightsquigarrow", "\\Subset", "\\small", "\\begin{smallmatrix}", "\\end{smallmatrix}", "\\lparen", "\\rparen", "\\leavevmode", "\\BFtheta", "\\xleftarrow", "\\blacksquare", "\\triangleright", "\\varinjlim", "\\Vdash", "\\varprojlim", "\\mathbfcal", "\\outerproduct", "\\begin{CD}", "\\end{CD}", "\\varLambda", "\\shuffle", "โˆž", "\\supseteq", "\\rightharpoonup", "\\real", "\\expectationvalue", "\\rotatebox", "\\sc", "\\doteq", "\\uppi", "\\$", "\\arcsin", "\\definecolor", "\\mathpzc", "\\ref", "\\vskip", "\\norm", "\\overbrace", "\\curvearrowright", "\\dotsc", "\\acute", "\\pmatrix", "\\cfrac", "\\mskip", "\\pagecolor", "\\trianglelefteq", "\\Bigm", "\\oslash", "\\includegraphics", "\\innerproduct", "\\halign", "#", "\\natural", "\\sslash", "\\overleftarrow", "\\twoheadleftarrow", "\\hookleftarrow", "\\set", "\\underaccent", "\\pqty", "\\P", "\\smile", "\"", "\\diamondsuit", "\\mathopen", "\\mathclose", "\\gradient", "\\uplus", "\\varTheta", "\\preccurlyeq", "\\atop", "\\vbox", "\\mathclap", "\\eqsim", "\\BFb", "\\coprod", "\\E", "\\thinspace", "\\llcorner", "\\cancel", "\\vtop", "\\m", "\\crcr", "\\Set", "\\circledast", "\\footnotesize", "\\lx", "ฮฃ", "\\sumop", "\\slimits", "\\vvvert", "\\hss", "\\ulcorner", "\\nsubseteq", "\\hphantom", "\\ltimes", "\\begin{dcases}", "\\end{dcases}", "\\\"", "\\imaginary", "โข", "\\lhd", "\\textsl", "\\BFc", "\\raise", "\\iiint", "\\csc", "\\normalsize", "\\enspace", "\\wr", "\\bowtie", "\\substack", "\\aligned", "\\lg", "\\allowbreak", "\\nrightarrow", "\\lozenge"], "chars": ["<pad>", "<unk>", "(", ")", ",", "1", "2", "=", "โˆ’", ".", "t", "i", "+", "0", "n", "x", "a", "r", "d", "s", "๏ธ‚", "e", "|", "k", "p", "m", "3", "j", "c", "u", "f", "๏ธ", "o", "4", "l", "g", "A", "h", "T", "๏ธƒ", "L", "v", "R", "y", "q", "C", "S", "โˆ‘", "z", "โˆฅ", "P", "[", "]", "N", "E", "b", "ฮฑ", "โ‰ค", "M", "B", "โˆˆ", "5", "X", "D", "H", "ฮป", "F", ":", "โ€ฒ", "ฮธ", "/", "6", "ยต", "ยท", "K", "G", "I", "ฮฒ", "w", "V", "โƒ“", "ฯ", "{", "โˆ‚", "โ„“", "ฯ€", "ฯ„", "8", "ฯƒ", "ห†", "ฮด", "}", "โˆ—", "7", "โˆซ", "Q", "ฯ•", "U", "ฮท", "ฮต", "W", "โˆ†", "๏ธ„", "9", "ฮณ", "โˆš", "โŸฉ", "J", "Y", "Z", "ฯ‰", "โ†’", "ยฏ", "โ‰ฅ", "ฮฝ", "หœ", "ฮพ", ";", "โˆž", "โŸจ", "O", "โƒฆ", "โˆ‡", "ฯˆ", "<", "ฮฆ", "ฯต", "โ„ฆ", "ฮบ", "ฮ“", ">", "ร—", "ฮ›", "ฯ‡", "ฯ†", "โŠค", "โˆผ", "ฮจ", "ฮถ", "๏ฟฝ", "ห™", "ฮฃ", "โ‹†", "โˆ", "โŠ—", "๐‘ก", "ฮ˜", "ยฑ", "โŽช", "๐‘–", "ฬธ", "โ‰ก", "ฮ ", "โ€ ", "โˆฉ", "โ—ฆ", "๐‘ฅ", "โŽœ", "โŽŸ", "!", "โŽ›", "โŽž", "โˆง", "โŽ", "โŠฅ", "โŽ ", "โ‰ƒ", "๐‘ ", "โ‰ˆ", "๐‘—", "โˆ€", "โ‡’", "โƒ—", "๐‘˜", "๐‘“", "โŽจ", "โ‰ฒ", "โŽง", "-", "โˆช", "๐‘‘", "๐‘š", "ยด", "๐‘ง", "๐‘ฃ", "\\", "โˆจ", "๐‘›", "ฯ‘", "โІ", "โŠ•", "๐‘ฆ", "โฉฝ", "๐‘‡", "โ†ฆ", "โŠ‚", "๐‘ข", "#", "๐‘", "๐‘Ž", "๐‘Ÿ", "โŠ™", "โ€œ", "ฮน", "โ‰ช", "โŒŠ", "โŒ‹", "๐‘", "๐‘ž", "โ„", "๐‘’", "โ„Ž", "๐ด", "๐บ", "`", "โ†", "๐œƒ", "โˆ…", "๐›ฝ", "๐‘", "๐‘ƒ", "โŽข", "โŽฅ", "โˆ", "โ–ก", "๐‘†", "๐‘€", "๐œ", "๐œ†", "โŽก", "โŽค", "โ‡", "๐‘”", "๐‘", "โ€ข", "ฮฅ", "๐ธ", "ฮž", "ห‡", "ฮ”", "๐พ", "๐น", "โ‹ƒ", "๐ป", "โŽฃ", "โŽฆ", "๐ท", "โŒ‰", "๐‘…", "โŒˆ", "โ†“", "๐›ผ", "๐ถ", "ฯ–", "๐‘ค", "๐œŽ", "โˆƒ", "๐œ‹", "๐œ‡", "๐‘‰", "๐ฟ", "ยจ", "โฉพ", "๐œ”", "ฯ‚", "โž", "โŸ", "๐‘‹", "๐œˆ", "๐œŒ", "ฯฑ", "๐‘™", "โ†‘", "๐œ•", "๐œ‚", "๐‘„", "๐ต", "โ‰", "โ™ญ", "๐œ™", "โ™ฏ", "โจ", "๐ฝ", "โŽซ", "โŽฌ", "๐‘Œ", "๐ผ", "๐œ€", "๐‘Š", "โ‰œ", "ยฌ", "๐›ฟ", "๐›พ", "หš", "ฮฉ", "๐œ“", "โ–ณ", "ร‘", "_", "โˆ“", "รฟ", "โชฏ", "๐‘œ", "๐‘ˆ", "โ„œ", "โŒŸ", "โ‹‚", "ลผ", "โ‰ซ", "โŒœ", "โŽท", "๐œ…", "โ‰บ", "โ‹„", "โ—", "โ‰ณ", "โ†”", "โŠ”", "%", "๐‘", "โจ‚", "โŠƒ", "โชฐ", "ฯ…", "โˆฎ", "โ€“", "โ„˜", "๐œ–", "๐œ‰", "&", "โ™ข", "@", "โŠฎ", "โ„‘", "โˆค", "โ‹€", "?", "โŽฉ", "๐‘‚", "โ‹Š", "ห˜", "โ†ช", "๐”ก", "โŠ ", "โ‰ ", "โŠข", "ศท", "ฤ", "ฤฑ", "๐œ‘", "๏ฃด", "โจ†", "๐œ", "โŠŠ", "โ‹", "โˆ‹", "โŠบ", "โŠ–", "๐œ’", "ฤบ", "ฤƒ", "โ† ", "ร", "โˆ ", "รž", "๐’™", "โ‰ป", "โ„ต", "โ€", "โ€™", "โ–ท", "๐”ž", "โ‡”", "โ‰ฟ", "ฤ›", "โˆ–", "โ€ž", "โ‡", "ฤ…", "ยธ", "โ‹", "$", "โ– ", "๐’ฑ", "โŠฉ", "๐œ„", "๐’–", "โˆ‰", "โЇ", "ลบ", "โ‡€", "ห", "โ€š", "^", "โ˜…", "๏ฃฑ", "๏ฃฒ", "๐‘ญ", "ร€", "\"", "โ†ท", "๐šบ", "๐”–", "โŒช", "รฃ", "โŠด", "โŠ˜", "โ™ฎ", "๐œฝ", "โ„", "๐ˆ", "๐‘ธ", "ฤ‚", "โ†ž", "รข", "โŽญ", "โŒฃ", "๐‘ฟ", "โ€น", "*", "๐“", "๐œ", "ฤพ", "โ‰ผ", "ล›", "รฑ", "โ‰‚", "โˆ", "ะง", "๐‘ผ", "๐‘ท", "โŒž", "๐’ฎ", "โŠ›", "รฉ", "๐’’", "โ", "โ†ถ", "โ™ฆ", "~", "๐œ—", "โŠˆ", "รถ", "๐‘ฎ", "รฐ", "ยง", "๐‘จ", "โ‰€", "โ„›", "โ†พ", "ยซ", "โ†›", "๐‘ฐ", "โˆฃ", "๐—", "๐ฆ", "ห›", "๐”‰"], "fonts": ["<pad>", "<unk>", "CMR", "CMMI", "CMSY", "CMEX", "LMRoman10-Regular", "LMMathItalic10-Regular", "NimbusRomNo9L-Regu", "LMMathItalic8-Regular", "LMRoman8-Regular", "LMMathSymbols10-Regular", "SFRM", "LMMathExtension10-Regula", "TeXGyreTermesX-Regular", "NimbusRomNo9L-ReguItal", "NewTXMI", "txsys", "CMBX", "MSBM", "LMRoman12-Regular", "LMMathItalic7-Regular", "CMMIB", "LMMathItalic12-Regular", "LibertineMathMI", "LMRoman7-Regular", "LinLibertineT", "LMMathSymbols8-Regular", "txexs", "rtxmi", "CMTI", "TeX-matha", "URWPalladioL-Roma", "txsy", "CMSS", "txex", "txmiaX", "URWPalladioL-Ital", "EUFM", "LMMathItalic6-Regular", "LMMathSymbols7-Regular", "rtxr", "MSAM", "LMRoman6-Regular", "Utopia-Regular", "StandardSymL-Slant_", "SFTI", "LMMathItalic10-Bold", "CharterBT-Roman", "LMRoman10-Bold", "LMRoman10-Italic", "rsfs", "LMMathItalic5-Regular", "NimbusRomNo9L-Medi", "Utopia-Italic", "TeX-mathx", "LMRoman5-Regular", "StandardSymL", "EURM", "CMTT", "LMSans10-Regular", "CharterBT-Italic", "Fourier-Math-Symbols", "LMMathSymbols6-Regular", "MathDesign-CH-Regular-OT", "esint", "PazoMath-Italic", "LinLibertineTZ", "BeraSerif-Roman", "TeXGyreTermesX-Bold", "LibertinusMath-Regular", "NimbusSanL-Regu", "CMBSY", "EUSM", "DutchCalligraphic-Regula", "TeXGyrePagella-Regular", "TeXGyreTermesX-Italic", "txsym", "STIXTwoMath", "LMMono10-Regular", "LMRoman9-Regular", "LMSans8-Regular", "MathDesign-CH-Regular-Sy", "TeXGyreHeros-Regular", "Times-Roman", "Fourier-Math-Extension", "dsrom", "MathDesign-CH-Regular-It", "LMRoman12-Italic", "LMRoman12-Bold", "BBOLD", "MathDesign-CH-Regular-Ex", "F", "LMMathSymbols5-Regular", "PazoMath", "LinLibertineO", "LMMathSymbols9-Regular", "LibertineMathRM", "XYATIP-Medium", "LMMathItalic9-Regular", "LinBiolinumT", "SFTT", "Fourier-Math-Letters-Ita", "rtxbmi", "NimbusRomNo9L-MediItal", "SFBX", "Times-Italic", "txsyb", "LMRoman7-Bold", "NewTXBMI", "LibertineMathBMI", "Inconsolatazi4-Regular", "SFSS", "URWPalladioL-Bold", "BoondoxCalligraphic-Regu", "LMRoman8-Bold", "LinLibertineTI", "CMCSC", "EUEX", "XYCMAT-Medium", "txsya", "LMMathItalic7-Bold", "MathDesign-CH-Regular-Ma", "NimbusMonL-Regu", "LMSans12-Regular", "LMMono8-Regular", "PazoMathBlackboardBold", "LASY", "LMRoman9-Italic", "URWChanceryL-MediItal", "CharterBT-BoldItalic", "stmary", "txsyc", "Fourier-Math-Cal", "PazoMath-BoldItalic", "Unnamed-T", "TeX-mathb", "Yhcmex", "CMSSBX", "LatinModernMath-Regular", "txbmiaX", "stxscr", "LMRomanCaps10-Regular", "BeraSerif-Roman-Slant_", "CharterBT-Bold", "txbsys", "Fourier-Math-Letters", "LinLibertineTB", "Arial", "CMSL", "PazoMath-Bold", "XYBSQL-Medium", "LMRoman6-Bold", "txmia", "LMMathSymbols7-Bold", "MathDesign-CH-Bold-OT1-", "CMSSI"]}