Clemson Lab's picture

Clemson Lab

haielab

·

AI & ML interests

None yet

Recent Activity

updated a model about 1 month ago

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

published a model about 1 month ago

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

updated a model about 1 month ago

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

View all activity

Organizations

spaces 1

Ai Diet Recommendation

Diet recommender demo

models 37

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

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

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

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

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

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

Text Generation • Updated Jul 28 • 3

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

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

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

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

datasets 0

None public yet