-
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 538 • • 7 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 1B • Updated • 31 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
Text Generation • 8B • Updated • 24 -
khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6
Text Generation • 1B • Updated • 160
nguyen ngoc khanh
khanh2023
·
AI & ML interests
None yet
Recent Activity
liked a model 1 day ago
ai21labs/AI21-Jamba-Mini-1.7 liked a model 16 days ago
mistralai/Leanstral-2603 updated a collection 27 days ago
BFS-Prover-V2Organizations
None yet
discrete-logarithm-Qwen3-4B
Goedel-Code-Prover
-
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Text Generation • 1B • Updated • 157 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 2B • Updated • 18 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated • 26 -
Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 276 • 11
BFS-Prover-V2
-
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 538 • • 7 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 1B • Updated • 31 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
Text Generation • 8B • Updated • 24 -
khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6
Text Generation • 1B • Updated • 160
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 • 1B • Updated • 157 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 2B • Updated • 18 -
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated • 26 -
Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 276 • 11