amitayusht/ProofWala-Lean download history
amitayusht/ProofWala-Lean is a text generation model by amitayusht. In the last 30 days it was downloaded 10 times (3 in the last 7 days), and 199 times in total.
It ranks #800,028 on the Hub by monthly downloads and #307,523 among text generation models.
It has 0 likes.
It is a fine-tune of Salesforce/codet5-base.