Goedel-Prover-V2-32B

Name: Goedel-Prover-V2-32B
Author: Goedel-LM

32B open-weight LLM by Goedel-LM

Live

Open / InstallLast updated August 5, 2026

Description

Goedel-Prover-V2-32B is an open-weight text-generation model with roughly 32B parameters published by Goedel-LM on the Hugging Face Hub. It has 21,244 downloads. Runs with transformers.

Author

Goedel-LM

Platform

api

Pricing model

free

Capabilities

Text generation
Conversational
Library: transformers
32B parameters

Benchmarks

No benchmark results have been added yet.