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 / generation_config.json

Commit History

  1. Upload folder using huggingface_hub

    Irfanuruchi
    Verified signature
    da0a91f