Clemson Lab

haielab's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a model 6 days ago

ai4he/mathscy-moe-7b

Text Generation • Updated 5 days ago

published a model 6 days ago

ai4he/mathscy-moe-7b

Text Generation • Updated 5 days ago

updated a model 7 months ago

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

Updated Aug 1, 2025

published a model 7 months ago

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

Updated Aug 1, 2025

updated a model 7 months ago

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

Updated Aug 1, 2025

published a model 7 months ago

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

Updated Aug 1, 2025

updated a model 7 months ago

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

Updated Aug 1, 2025

published a model 7 months ago

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

Updated Aug 1, 2025

updated a model 7 months ago

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

Updated Aug 1, 2025

published 2 models 7 months ago

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

updated 2 models 7 months ago

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

Text Generation • Updated Jul 28, 2025

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

Updated Jul 28, 2025

published 6 models 7 months ago

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

Text Generation • 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_1030

Updated Jul 28, 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

updated a model 7 months ago

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

Text Generation • Updated Jul 22, 2025