huawei-ai4math
/

Mathesis-Autoformalizer

Model card Files Files and versions

Mathesis-Autoformalizer / vocab.json

Jianyuan1's picture

Upload folder using huggingface_hub

f391479 verified 7 months ago

history contribute delete

2.78 MB

File too large to display, you can check the raw version instead.