huawei-ai4math
/

Mathesis-Autoformalizer

Model card Files Files and versions

Mathesis-Autoformalizer / added_tokens.json

Commit History

Upload folder using huggingface_hub

f391479
verified

Jianyuan1 commited on Jul 10, 2025