Pclanglais/deepseek-prover-solver download history
Pclanglais/deepseek-prover-solver is a 6.9B-parameter model model by Pclanglais. In the last 30 days it was downloaded 10 times (5 in the last 7 days), and 92 times in total.
It ranks #773,389 on the Hub by monthly downloads.
It has 0 likes.