This website requires JavaScript.
Explore
Help
Register
Sign In
VladShash
/
deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo
Watch
1
Star
0
Fork
0
You've already forked deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo
Code
Issues
Pull Requests
Actions
Projects
Releases
Wiki
Activity
1
Commit
1
Branch
0
Tags
de889e706ebc5860ecc006f77da2cb5d670c16c1
Commit Graph
1 Commits
Author
SHA1
Message
Date
ModelHub XC
de889e706e
初始化项目,由ModelHub XC社区提供模型
...
Model: VladShash/deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo Source: Original Platform
2026-05-16 20:17:58 +08:00