MathForm-8B

Description

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

Categories

• Research
• Productivity

Tags

• qwen3
• text-generation
• lean4
• autoformalization
• mathematics
• formal-verification
• reasoning
• conversational

Capabilities

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