VladShash/deepseek-math-full-7B-lean-prover-dpo-150k-mistral Text Generation • 7B • Updated 7 minutes ago • 352
VladShash/deepseek-math-full-7B-lean-prover-dpo-150k-mistral Text Generation • 7B • Updated 7 minutes ago • 352
VladShash/deepseek-math-7B-lean-prover-grpo-olmo-weighed Text Generation • 7B • Updated 6 days ago • 3.72k • 1
VladShash/deepseek-math-7B-lean-prover-grpo-olmo-weighed Text Generation • 7B • Updated 6 days ago • 3.72k • 1
VladShash/deepseek-math-7b-lean-prover-dpo-olmo-3 Text Generation • 7B • Updated 24 days ago • 3.2k • 4
VladShash/deepseek-math-7b-lean-prover-dpo-olmo-3 Text Generation • 7B • Updated 24 days ago • 3.2k • 4