Modelpublic

VladShash/deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo

sourceHugging Faceupdated 5mo agoView on Hugging Face

0likes15downloads

3 commits on main

b1396c95mo ago

Upload tokenizer

VladShash

9adb5e55mo ago

Upload LlamaForCausalLM

VladShash

481e45a5mo ago

initial commit

VladShash