alpha-proof-open-source/alphaproof-full-v3-value-head download history

alpha-proof-open-source/alphaproof-full-v3-value-head is a model model by alpha-proof-open-source. In the last 30 days it was downloaded 0 times (0 in the last 7 days).

It ranks #1,528,024 on the Hub by monthly downloads.

It has 1 likes.

It is an adapter of FrenzyMath/REAL-Prover.

Open alpha-proof-open-source/alphaproof-full-v3-value-head on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.