ยท
AI & ML interests
None yet
Organizations
models
37
haielab/DeepSeek-Prover-V2-7B-conjecture-chat-lr2e-4-gas4-seed789
Updated
haielab/DeepSeek-Prover-V2-7B-conjecture-chat-lr2e-4-gas4-seed456
Updated
haielab/DeepSeek-Prover-V2-7B-conjecture-chat-lr2e-4-gas4-seed123
Updated
haielab/DeepSeek-Prover-V2-7B-conjecture-chat-lr3e-5-gas4-seed456
Updated
haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250729_1849
Updated
haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_0955
Text Generation
โข
Updated
โข
2
haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_1030
Updated
haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_1650
Updated
haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_1221
Updated
haielab/STP_model_Lean_0320-conjecture-base-FineTune-new-config-v3
Updated