OProver-8B
8B open-weight LLM by introvoyz042
Live
Open / InstallLast updated September 26, 2026
Description
OProver-8B is an open-weight text-generation model with roughly 8B parameters published by introvoyz042 on the Hugging Face Hub. It has 420 downloads. Runs with transformers.
Community Metrics
Views
0
Avg Rating
N/A
Ratings
0
Likes
0
Comments
—
Author
introvoyz042
Platform
api
Pricing model
free
Categories
- Research
- Productivity
Tags
- qwen3
- text-generation
- lean4
- theorem-proving
- formal-mathematics
- agentic
- retrieval-augmented
- conversational
Capabilities
- Text generation
- Conversational
- Library: transformers
- 8B parameters
Information
TypeLarge Language Model
Model TypeText Generation
SourceHuggingface Models
AddedSeptember 5, 2026