leemeng's picture mkshing's picture
fix tokenizer loading to decode digits (#3)
b06c3e7