Verified record · from the answer index

Pythagoras-Prover-4B

modeltested · static-verifiedscore 55/100signed passport ✓published 93d ago · verified 2026-10-201,119 monthly downloads

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

Declared tools (1)

text-generation

model:Pythagoras-LM/Pythagoras-Prover-4B · published by pythagoras-lm