Hugging Face's logo

Irfanuruchi
/
MathForm-8B-MLX-6bit

MLX
Safetensors
qwen3
math
lean
lean4
formalization
apple-silicon
6-bit
Model card Files
xet
 Community
MathForm-8B-MLX-6bit / model-00003-of-00007.safetensors
Irfanuruchi's picture
Irfanuruchi
Upload folder using huggingface_hub
da0a91f verified
Download
History Blame Contribute Delete
1.06 GB
This file is stored with Xet . It is too big to display, but you can still download it.

Xet Pointer Details

( Raw pointer file )
Xet hash:
9d9ef35d0566f6a4407ddf81215d7c68d0a39947de9639a80a76c41756309663
Size of remote file:
1.06 GB
·
SHA256:
373258f2cbdf3c004ddcc0a00a83b88650b0737e866f7ecfbee55d3978a45929

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