Kimina-Prover-Distill-0.6B — LLM | GenAiHub