nguyen ngoc khanh
khanh2023
AI & ML interests
None yet
Recent Activity
liked a model about 1 month ago
Qwen/Qwen3.8-27B liked a model about 2 months ago
brunopio/Qwen3.5-14B-A3B-Claude-4.6-Opus-Reasoning-Distilled-reap-Q4_K_M-GGUF updated a collection about 2 months ago
Qwen3.6-14B-A3B-FableVibesOrganizations
None yet
-
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 442 • • 7 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 8B • Updated • 12 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
Text Generation • 8B • Updated • 13 -
khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6
Text Generation • 8B • Updated • 21
-
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Text Generation • 8B • Updated • 31 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 8B • Updated • 17 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated • 11 -
Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 45 • 11
-
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 442 • • 7 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 8B • Updated • 12 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
Text Generation • 8B • Updated • 13 -
khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6
Text Generation • 8B • Updated • 21
-
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Text Generation • 8B • Updated • 31 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 8B • Updated • 17 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated • 11 -
Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 45 • 11