yalhessi/lemexp-hol-thms-by-file-deepseek-coder-1.3b-base download history

yalhessi/lemexp-hol-thms-by-file-deepseek-coder-1.3b-base is a model model by yalhessi. In the last 30 days it was downloaded 11 times (5 in the last 7 days), and 57 times in total.

It ranks #731,830 on the Hub by monthly downloads.

It has 0 likes.

It is an adapter of deepseek-ai/deepseek-coder-1.3b-base.

Open yalhessi/lemexp-hol-thms-by-file-deepseek-coder-1.3b-base on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.