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

Jianyuan1/Kimina-Autoformalizer-7B-RL is a 7.6B-parameter model model by Jianyuan1. In the last 30 days it was downloaded 7 times (3 in the last 7 days), and 66 times in total.

It ranks #1,034,967 on the Hub by monthly downloads.

It has 0 likes.

1 models build on Kimina-Autoformalizer-7B-RL: 1 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 146 times in the last 30 days. See the Kimina-Autoformalizer-7B-RL galaxy.

Most downloaded derivatives

• mradermacher/Kimina-Autoformalizer-7B-RL-GGUF (quantized), 139 downloads in 30 days

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

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