Jianyuan1/Kimina-Autoformalizer-7B-RL-0506 download history

Jianyuan1/Kimina-Autoformalizer-7B-RL-0506 is a 7.6B-parameter text generation model by Jianyuan1. In the last 30 days it was downloaded 9 times (5 in the last 7 days), and 59 times in total.

It ranks #891,661 on the Hub by monthly downloads and #344,818 among text generation models.

It has 0 likes.

Open Jianyuan1/Kimina-Autoformalizer-7B-RL-0506 on Hugging Face

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