Clemson Lab

haielab 's models 37

Sort:  Recently updated

haielab/DeepSeek-Prover-V2-7B-conjecture-chat-lr2e-4-gas4-seed789

Updated Aug 1, 2025

haielab/DeepSeek-Prover-V2-7B-conjecture-chat-lr2e-4-gas4-seed456

Updated Aug 1, 2025

haielab/DeepSeek-Prover-V2-7B-conjecture-chat-lr2e-4-gas4-seed123

Updated Aug 1, 2025

haielab/DeepSeek-Prover-V2-7B-conjecture-chat-lr3e-5-gas4-seed456

Updated Aug 1, 2025

haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250729_1849

Updated Jul 30, 2025

haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_0955

Text Generation • Updated Jul 28, 2025 • 5

haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_1030

Updated Jul 28, 2025

haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_1650

Updated Jul 25, 2025

haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_1221

Updated Jul 25, 2025

haielab/STP_model_Lean_0320-conjecture-base-FineTune-new-config-v3

Updated Jul 22, 2025

haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config-v3

Updated Jul 22, 2025

haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config-conjecture-base-FineTune-new-config-v2

Text Generation • Updated Jul 22, 2025

haielab/STP_model_Lean_0320-conjecture-base-FineTune-new-config-conjecture-base-FineTune-new-config-v2

Text Generation • Updated Jul 22, 2025

haielab/STP_model_Lean_0320-conjecture-base-FineTune-new-config

Text Generation • Updated Jul 17, 2025

haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config

Text Generation • Updated Jul 16, 2025

haielab/STP_model_Lean_0320-3rd-Epoch-conjecture-base

Updated Jul 7, 2025

haielab/DeepSeek-Prover-V2-7B-3rdEpoch-conjecture-base

Updated Jul 6, 2025

haielab/Qwen2.5-Math-7B-conjecture-base

Updated Jul 5, 2025

haielab/DeepSeek-Prover-V2-7B-2ndEpoch-conjecture-base

Updated Jul 2, 2025

haielab/STP_model_Lean_0320-conjecture-base

Updated Jul 2, 2025

haielab/DeepSeek-Prover-V2-7B-2ndfinal-conjecture-base

Updated Jul 1, 2025

haielab/DeepSeek-Prover-V2-7B-2nd-conjecture-base

Updated Jun 29, 2025

haielab/DeepSeek-Prover-V2-7B-conjecture-base

Updated Jun 27, 2025

haielab/llemma_7b-counterexamples-base

Updated Jun 25, 2025

haielab/qwen2.5-math-7b-causal

Updated Jun 18, 2025

haielab/qwen2.5-math-7b-ft

Updated Jun 18, 2025

haielab/DeepSeek-Prover-V2-7B-counterexamples-base

Updated Jun 11, 2025

haielab/STP_model_Lean_0320-counterexamples-base

Updated Jun 11, 2025

haielab/Qwen2.5-7B-Instruct-counterexamples-base

Updated Jun 11, 2025

haielab/deepseek-math-7b-instruct-counterexamples-base

Updated Jun 11, 2025