SMOLM2Prover-GGUF — LLM for Research | Genaihub