OProver-32B

Description

OProver-32B is an open-weight text-generation model with roughly 32B parameters published by introvoyz042 on the Hugging Face Hub. It has 300 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
• 32B parameters