Clemson Lab's picture

Clemson Lab

haielab

·

AI & ML interests

None yet

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

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