AI-MO
/

Kimina-Prover-Distill-8B

Text Generation

text-generation-inference

Model card Files Files and versions Community

Kimina-Prover-Distill-8B / vocab.json

thibautbar's picture

Model save

a3ba85d verified about 2 months ago

history contribute delete

2.78 MB

File too large to display, you can check the raw version instead.