khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6: Model from Hugging Face: khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6 License: apache-2.0. external Hugging Face metadata. Scan: pending.
- License
- apache-2.0
- Scan status
- pending
- Hosting status
- external
- Upstream
- khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Open interactive artifact page