RickyDeSkywalker on Hugging Face: model downloads

RickyDeSkywalker has 5 tracked models, downloaded 48 times in the last 30 days and 2,207 times in total. RickyDeSkywalker Wrapped: the last 12 months.

Models by downloads in the last 30 days

1. RickyDeSkywalker/GAR_DeepSeek-Prover-V2 27 downloads, text generation
2. RickyDeSkywalker/GAR_Goedel-Prover-V2 21 downloads, text generation
3. RickyDeSkywalker/LoT-Solver 0 downloads, model
4. RickyDeSkywalker/LoT-Solver-Godel 0 downloads, model
5. RickyDeSkywalker/TheoremLlama 0 downloads, text generation