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
discrete-logarithm-Qwen3-4B
Goedel-Code-Prover
-
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Text Generation • 8B • Updated • 18 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 8B • Updated • 14 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated • 19 -
Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 66 • 11
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
qwen3.5-4b-calculator
discrete-logarithm-Qwen3-4B
guess-Qwen3-4B
Goedel-Code-Prover
-
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Text Generation • 8B • Updated • 18 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 8B • Updated • 14 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated • 19 -
Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 66 • 11