-
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 332 • • 7 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 1B • Updated • 1 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
Text Generation • 8B • Updated • 3 -
khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6
Text Generation • 1B • Updated • 40
nguyen ngoc khanh
khanh2023
AI & ML interests
None yet
Recent Activity
liked a model 2 days ago
ByteDance/Ouro-1.4B liked a model 7 days ago
HauhauCS/Qwen3.5-9B-Uncensored-HauhauCS-Aggressive new activity 15 days ago
WeiboAI/VibeThinker-3B:some benchmark results for ZebraLogicOrganizations
None yet
-
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 332 • • 7 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 1B • Updated • 1 -
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
Text Generation • 8B • Updated • 3 -
khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6
Text Generation • 1B • Updated • 40
models 12
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
Text Generation • 8B • Updated • 3
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 1B • Updated • 1
khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6
Text Generation • 1B • Updated • 40
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated • 6
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 2B • Updated • 4
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Text Generation • 1B • Updated • 45
khanh2023/guess-Qwen3-4B-tl8192-cl8192-b16-lora64-test
Updated
khanh2023/guess-instruct-Qwen3-4B-tl8192-cl8192-b16-lora64-test
Updated
khanh2023/discrete-logarithm-Qwen3-4B-tl16384-cl16384-b16-lora64-test
Updated • 1
khanh2023/discrete-logarithm-Qwen3-4B-tl8192-cl8192-b16-lora64-test
Updated