Verified record · from the answer index
Goedel-Prover-V2-8B
modeltested · static-verifiedscore 33/100signed passport ✓published 441d ago · verified 2026-10-202,434 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-8B · published by goedel-lm