Modelpublic

huawei-ai4math/Mathesis-Autoformalizer

sourceHugging Faceupdated 1y agoView on Hugging Face

0likes6downloads

2 commits on main

f3914791y ago

Upload folder using huggingface_hub

Jianyuan1

09b6ff81y ago

initial commit

Jianyuan1