leafspark/DeepSeek-V2-Chat-GGUFtext-generationtransformersggufcodedeepseek29118Updated 1y agoDetailsFiles
haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-configtext-generationtransformerssafetensorslorapeft00Updated 2mo agoDetailsFiles
haielab/STP_model_Lean_0320-conjecture-base-FineTune-new-configtext-generationtransformerssafetensorslorapeft00Updated 2mo agoDetailsFiles
haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config-conjecture-base-FineTune-new-config-v2text-generationtransformerssafetensorslorapeft00Updated 2mo agoDetailsFiles
haielab/STP_model_Lean_0320-conjecture-base-FineTune-new-config-conjecture-base-FineTune-new-config-v2text-generationtransformerssafetensorslorapeft00Updated 2mo agoDetailsFiles