mradermacher/OProver-8B-GGUF download history
mradermacher/OProver-8B-GGUF is a model model by mradermacher. In the last 30 days it was downloaded 573 times (75 in the last 7 days), and 1,869 times in total.
It ranks #64,546 on the Hub by monthly downloads.
It has 1 likes.
It is a quantization of m-a-p/OProver-8B.