Goedel-Code-Prover - a khanh2023 Collection

khanh2023 's Collections

qwen3.5-4b-calculator

discrete-logarithm-Qwen3-4B

Goedel-Code-Prover

Goedel-Code-Prover

updated 11 days ago

khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6

Text Generation • 1B • Updated 11 days ago • 64
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4

Text Generation • 2B • Updated 11 days ago • 10
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8

Text Generation • 8B • Updated 11 days ago • 13
Goedel-LM/Goedel-Code-Prover-8B

8B • Updated Mar 25 • 1.28k • 11