nguyen ngoc khanh
khanh2023
AI & ML interests
None yet
Recent Activity
liked a model 10 days ago
brunopio/Qwen3.5-14B-A3B-Claude-4.6-Opus-Reasoning-Distilled-reap-Q4_K_M-GGUF updated a collection 10 days ago
Qwen3.6-14B-A3B-FableVibes updated a collection 10 days ago
Qwen3.6-14B-A3B-FableVibesOrganizations
None yet
-
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 655 • • 7 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 1B • Updated • 8 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
Text Generation • 8B • Updated • 12 -
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 • 34 -
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 • 521 • 11
-
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 655 • • 7 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 1B • Updated • 8 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
Text Generation • 8B • Updated • 12 -
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 • 34 -
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 • 521 • 11