uw-math-ai/gAPRIL-wo-exp download history
uw-math-ai/gAPRIL-wo-exp is an 8.2B-parameter text generation model by uw-math-ai. In the last 30 days it was downloaded 29 times (7 in the last 7 days), and 1,576 times in total.
It ranks #321,449 on the Hub by monthly downloads and #89,026 among text generation models.
It has 1 likes.
It is a fine-tune of Goedel-LM/Goedel-Prover-V2-8B.