Ruida WANG

RickyDeSkywalker 's models 5

Sort:  Recently updated

RickyDeSkywalker/GAR_DeepSeek-Prover-V2

Text Generation • 2B • Updated Mar 4 • 93

RickyDeSkywalker/GAR_Goedel-Prover-V2

Text Generation • 2B • Updated Mar 4 • 12

RickyDeSkywalker/TheoremLlama

Text Generation • 8B • Updated Aug 4, 2025 • 7

RickyDeSkywalker/LoT-Solver

7B • Updated Aug 4, 2025 • 12

RickyDeSkywalker/LoT-Solver-Godel

7B • Updated May 27, 2025 • 1