Kimina-Prover-Distill-1.7B
1.7B open-weight LLM by project-numina
Live
Open / InstallLast updated October 28, 2026
Description
Kimina-Prover-Distill-1.7B is an open-weight text-generation model with roughly 1.7B parameters published by project-numina on the Hugging Face Hub. It has 455 downloads. Runs with transformers.
Community Metrics
Views
7
Avg Rating
N/A
Ratings
0
Likes
0
Comments
—
Author
project-numina
Platform
api
Pricing model
free
Categories
- Productivity
Tags
- qwen3
- text-generation
- chat
- conversational
- en
Capabilities
- Text generation
- Conversational
- Library: transformers
- 1.7B parameters
Information
TypeLarge Language Model
Model TypeText Generation
SourceHuggingface Models
AddedOctober 28, 2026