OProver-8B

Description

OProver-8B is an open-weight text-generation model with roughly 8B parameters published by introvoyz042 on the Hugging Face Hub. It has 303 downloads. Runs with transformers.

Categories

• Research
• Productivity

Tags

• qwen3
• text-generation
• lean4
• theorem-proving
• formal-mathematics
• agentic
• retrieval-augmented
• conversational

Capabilities

• Text generation
• Conversational
• Library: transformers
• 8B parameters