khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
Text Generation • 8B • Updated • 6
nguyen ngoc khanh
khanh2023
AI & ML interests
None yet
Recent Activity
liked a model 3 days ago
Qwen/Qwen3-4B-Thinking-2507 liked a model 6 days ago
jknlsn/Qwen3.6-27B-oQ2-mtp liked a model 6 days ago
Qwen/Qwen3.6-27BOrganizations
None yet
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 1B • Updated • 2
khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6
Text Generation • 1B • Updated • 25
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated • 10
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 2B • Updated • 5
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Text Generation • 1B • Updated • 21
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
khanh2023/qwen3.5-4b-length2048-p0.2-select1ngpus1-lora-calculator
Updated
khanh2023/qwen3.5-4b-p0.1-l4096-b32-select1ngpus1-lora-calculator
Updated