Veri-Code on Hugging Face: downloads and rankings

Veri-Code has 6 tracked models, downloaded 144 times in the last 30 days and 1,467 times in total; 2 datasets, downloaded 162 times in the last 30 days. Veri-Code Wrapped: the last 12 months.

Models by downloads in the last 30 days

1. Veri-Code/ReForm-14B-RL-entropy 28 downloads, text generation
2. Veri-Code/ReForm-SFT-1.5B 26 downloads, text generation
3. Veri-Code/ReForm-SFT-7B 26 downloads, text generation
4. Veri-Code/ReForm-SFT-3B 23 downloads, text generation
5. Veri-Code/ReForm-SFT-14B 22 downloads, text generation
6. Veri-Code/ReForm-SFT-0.5B 19 downloads, text generation

Datasets by downloads in the last 30 days

1. Veri-Code/ReForm-Python2Dafny-Dataset 89 downloads
2. Veri-Code/ReForm-DafnyComp-Benchmark 73 downloads

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