The internlm/internlm2-step-prover galaxy
1 models are built on internlm/internlm2-step-prover: 1 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together they were downloaded 207 times in the last 30 days.
Most downloaded direct derivatives
- tensorblock/internlm2-step-prover-GGUF (quantized), 90 downloads in 30 days