yeahrmek
/

arxiv-math-lean

Model card Files Files and versions

arxiv-math-lean

3.38 MB

1 contributor

History: 3 commits

yeahrmek's picture

Create README.md

f5f7664 almost 3 years ago

.gitattributes

1.43 kB

initial commit almost 3 years ago
README.md

446 Bytes

Create README.md almost 3 years ago
added_tokens.json

1.49 kB

Tokenizer pretrained on ArXiv subset of The Pile and text proof steps from lean-step-public almost 3 years ago
merges.txt

456 kB

Tokenizer pretrained on ArXiv subset of The Pile and text proof steps from lean-step-public almost 3 years ago
special_tokens_map.json

481 Bytes

Tokenizer pretrained on ArXiv subset of The Pile and text proof steps from lean-step-public almost 3 years ago
tokenizer.json

2.12 MB

Tokenizer pretrained on ArXiv subset of The Pile and text proof steps from lean-step-public almost 3 years ago
tokenizer_config.json

270 Bytes

Tokenizer pretrained on ArXiv subset of The Pile and text proof steps from lean-step-public almost 3 years ago
vocab.json

798 kB

Tokenizer pretrained on ArXiv subset of The Pile and text proof steps from lean-step-public almost 3 years ago