RickyDeSkywalker/LoT-Solver-Godel download history
RickyDeSkywalker/LoT-Solver-Godel 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 34 times in total.
It ranks #1,533,845 on the Hub by monthly downloads.
It has 1 likes.
It is a fine-tune of deepseek-ai/DeepSeek-Prover-V1.5-SFT.