The m-a-p/OProver-8B galaxy
5 models are built on m-a-p/OProver-8B: 1 quantized, 0 fine-tuned, 4 adapters and 0 merges. Together they were downloaded 804 times in the last 30 days.
Most downloaded direct derivatives
- mradermacher/OProver-8B-GGUF (quantized), 573 downloads in 30 days
- FluffyAIcode/Kakeya-OProver-Stage1-SFT90 (adapter), 9 downloads in 30 days
- FluffyAIcode/Kakeya-OProver-Stage2-SFT1000 (adapter), 9 downloads in 30 days
- FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT (adapter), 8 downloads in 30 days
- FluffyAIcode/Kakeya-OProver-Stage3-DPO (adapter), 7 downloads in 30 days
Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.