Verified record · from the answer index

Goedel-Prover-V2-32B

modeltested · static-verifiedscore 34/100signed passport ✓published 426d ago · verified 2026-10-243,381 monthly downloads

text generation model · runs with transformers · by Goedel-LM. Served live by featherless-ai.

Declared tools (1)

text-generation

model:Goedel-LM/Goedel-Prover-V2-32B · published by goedel-lm