Mathesis-Autoformalizer / model-00001-of-00002.safetensors

Upload folder using huggingface_hub

f391479 verified 10 months ago

9.98 GB

This file is stored with Xet . It is too big to display, but you can still download it.

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.