nguyen ngoc khanh
khanh2023
AI & ML interests
None yet
Organizations
None yet
BFS-Prover-V2
-
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 1.36k • • 7 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 8B • Updated • 12 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
Text Generation • 8B • Updated • 10 -
khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6
Text Generation • 8B • Updated • 16
Qwen3.6-14B-A3B-FableVibes
BFS-Prover-V2
-
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 1.36k • • 7 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 8B • Updated • 12 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
Text Generation • 8B • Updated • 10 -
khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6
Text Generation • 8B • Updated • 16
models 14
khanh2023/Qwen3.6-14B-A3B-FableVibes-mlx-q6
Text Generation • 14B • Updated • 414 • 2
khanh2023/Qwen3.6-14B-A3B-FableVibes-mlx-q4
Text Generation • 14B • Updated • 1.27k • 6
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
Text Generation • 8B • Updated • 10
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 8B • Updated • 12
khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6
Text Generation • 8B • Updated • 16
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated • 19
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 8B • Updated • 14
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Text Generation • 8B • Updated • 18
khanh2023/guess-Qwen3-4B-tl8192-cl8192-b16-lora64-test
Updated
khanh2023/guess-instruct-Qwen3-4B-tl8192-cl8192-b16-lora64-test
Updated