-
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 630 • 7 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 1B • Updated • 29 -
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 • 1B • Updated • 60
nguyen ngoc khanh
khanh2023
·
AI & ML interests
None yet
Recent Activity
updated a collection 11 days ago
BFS-Prover-V2 updated a model 11 days ago
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8 published a model 11 days ago
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8Organizations
None yet
-
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Text Generation • 1B • Updated • 59 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 2B • Updated • 8 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated • 13 -
Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 1.23k • 11
-
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 630 • 7 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 1B • Updated • 29 -
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 • 1B • Updated • 60
-
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Text Generation • 1B • Updated • 59 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 2B • Updated • 8 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated • 13 -
Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 1.23k • 11