nguyen ngoc khanh
khanh2023
AI & ML interests
None yet
Recent Activity
liked a model 9 days ago
brunopio/Qwen3.5-14B-A3B-Claude-4.6-Opus-Reasoning-Distilled-reap-Q4_K_M-GGUF updated a collection 9 days ago
Qwen3.6-14B-A3B-FableVibes updated a collection 9 days ago
Qwen3.6-14B-A3B-FableVibesOrganizations
None yet
-
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 656 • • 7 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 1B • Updated • 6 -
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 • 1B • Updated • 13
-
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Text Generation • 1B • Updated • 29 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 2B • Updated • 16 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated • 17 -
Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 520 • 11
-
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 656 • • 7 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 1B • Updated • 6 -
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 • 1B • Updated • 13
-
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Text Generation • 1B • Updated • 29 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 2B • Updated • 16 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated • 17 -
Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 520 • 11