RickyDeSkywalker/LoT-Solver download history
RickyDeSkywalker/LoT-Solver is a 6.9B-parameter model model by RickyDeSkywalker. In the last 30 days it was downloaded 0 times (0 in the last 7 days), and 556 times in total.
It ranks #1,533,845 on the Hub by monthly downloads.
It has 0 likes.
It is a fine-tune of deepseek-ai/DeepSeek-Prover-V1.5-SFT.