Hugging Face model: TitiSkywalker/C2C-Kimina-Prover
Author: TitiSkywalker
Created: 2026-05-12 12:43:04
Last modified: 2026-05-13 09:27:51
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 9
Tags: transformers, safetensors, qwen3, feature-extraction, text-generation, conversational, arxiv:2604.18587, base_model:AI-MO/Kimina-Prover-Distill-8B, base_model:finetune:AI-MO/Kimina-Prover-Distill-8B, license:mit, text-generation-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: AI-MO/Kimina-Prover-Distill-8B
Card metadata:
license: mit
base_model: AI-MO/Kimina-Prover-Distill-8B
pipeline_tag: text-generation
library_name: transformers