khanh2023 on Hugging Face: downloads and rankings

khanh2023 has 9 tracked models, downloaded 1,534 times in the last 30 days and 6,658 times in total; 2 datasets, downloaded 3,681 times in the last 30 days. khanh2023 Wrapped: the last 12 months.

Models by downloads in the last 30 days

1. khanh2023/Qwen3.6-14B-A3B-FableVibes-mlx-q4 1K downloads, text generation
2. khanh2023/Qwen3.6-14B-A3B-FableVibes-mlx-q6 431 downloads, text generation
3. khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6 24 downloads, text generation
4. khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6 21 downloads, text generation
5. khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4 13 downloads, text generation
6. khanh2023/BFS-Prover-V2-7B-mlx-mxfp8 13 downloads, text generation
7. khanh2023/BFS-Prover-V2-7B-mlx-mxfp4 12 downloads, text generation
8. khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8 7 downloads, text generation
9. khanh2023/discrete-logarithm-Qwen3-4B-tl16384-cl16384-b16-lora64-test 0 downloads, model

Datasets by downloads in the last 30 days

1. khanh2023/prop_logic_puzzle 3.5K downloads
2. khanh2023/mathlib4_dependency_graph 221 downloads