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-00001-of-00007.safetensors
Irfanuruchi's picture
Irfanuruchi
Upload folder using huggingface_hub
da0a91f verified
Download
History Blame Contribute Delete
1.05 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:
a6e12f16b8f3618235788e6a4a6ec8ee72011677abc4617d260b8e10d3447d34
Size of remote file:
1.05 GB
·
SHA256:
0e9c446226b6fa42163280d1f2ddb423357533b7ca62289e4ff4d5f54f7d5c1b

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