mradermacher/Kimina-Autoformalizer-7B-RL-GGUF download history

mradermacher/Kimina-Autoformalizer-7B-RL-GGUF is a model model by mradermacher. In the last 30 days it was downloaded 138 times (4 in the last 7 days), and 1,077 times in total.

It ranks #163,759 on the Hub by monthly downloads.

It has 0 likes.

It is a quantization of Jianyuan1/Kimina-Autoformalizer-7B-RL.

Open mradermacher/Kimina-Autoformalizer-7B-RL-GGUF on Hugging Face

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