amitayusht on Hugging Face: downloads and rankings

amitayusht has 3 tracked models, downloaded 73 times in the last 30 days and 1,588 times in total; 3 datasets, downloaded 774 times in the last 30 days. amitayusht Wrapped: the last 12 months.

Models by downloads in the last 30 days

  1. amitayusht/ProofWala-Multilingual 56 downloads, text generation
  2. amitayusht/ProofWala-Lean 10 downloads, text generation
  3. amitayusht/ProofWala-Coq 7 downloads, text generation

Datasets by downloads in the last 30 days

  1. amitayusht/ProofWalaDataset 431 downloads
  2. amitayusht/PutnamBench 320 downloads
  3. amitayusht/clever 23 downloads