internlm2_5-step-prover-GGUF

tensorblock/internlm2_5-step-prover-GGUF

internlm2_5-step-prover-GGUF is a text generation model from tensorblock. Use it when you need the model to write or continue text. The card lists the license as other.

<div style="width: auto; margin-left: auto; margin-right: auto" <img src="https://i.imgur.com/jC7kdl8.jpeg" alt="TensorBlock" style="width: 100%; min-width: 400px; display: block; margin: auto;" </div

Downloads · 30 days

4% of all-time downloads

All-time downloads

2.4K

Public

Repo size

58.9 GB

Likes

Public

Hugging Face

Repo makeup

Click a slice to open those files.

.gguf6.8 GB · 100%

At a glance

Task: Text Generation
License: other
Access: Public
Created: Nov 25, 2024
Updated: Jan 27, 2026
SHA: 1b78df1c

Try a prompt

Base models

internlm/internlm2_5-step-prover

Datasets

Model card

From the Hugging Face model README

internlm/internlm2_5-step-prover - GGUF

This repo contains GGUF format model files for internlm/internlm2_5-step-prover.

The files were quantized using machines provided by TensorBlock, and they are compatible with llama.cpp as of commit b4011.

Our projects

<table border="1" cellspacing="0" cellpadding="10"> <tr> <th colspan="2" style="font-size: 25px;">Forge</th> </tr> <tr> <th colspan="2"> <img src="https://imgur.com/faI5UKh.jpeg" alt="Forge Project" width="900"/> </th> </tr> <tr> <th colspan="2">An OpenAI-compatible multi-provider routing layer.</th> </tr> <tr> <th colspan="2"> <a href="https://github.com/TensorBlock/forge" target="_blank" style=" display: inline-block; padding: 8px 16px; background-color: #FF7F50; color: white; text-decoration: none; border-radius: 6px; font-weight: bold; font-family: sans-serif; ">🚀 Try it now! 🚀</a> </th> </tr> <tr> <th style="font-size: 25px;">Awesome MCP Servers</th> <th style="font-size: 25px;">TensorBlock Studio</th> </tr> <tr> <th><img src="https://imgur.com/2Xov7B7.jpeg" alt="MCP Servers" width="450"/></th> <th><img src="https://imgur.com/pJcmF5u.jpeg" alt="Studio" width="450"/></th> </tr> <tr> <th>A comprehensive collection of Model Context Protocol (MCP) servers.</th> <th>A lightweight, open, and extensible multi-LLM interaction studio.</th> </tr> <tr> <th> <a href="https://github.com/TensorBlock/awesome-mcp-servers" target="_blank" style=" display: inline-block; padding: 8px 16px; background-color: #FF7F50; color: white; text-decoration: none; border-radius: 6px; font-weight: bold; font-family: sans-serif; ">👀 See what we built 👀</a> </th> <th> <a href="https://github.com/TensorBlock/TensorBlock-Studio" target="_blank" style=" display: inline-block; padding: 8px 16px; background-color: #FF7F50; color: white; text-decoration: none; border-radius: 6px; font-weight: bold; font-family: sans-serif; ">👀 See what we built 👀</a> </th> </tr> </table> ## Prompt template

<s><|im_start|>system
{system_prompt}<|im_end|>
<|im_start|>user
{prompt}<|im_end|>
<|im_start|>assistant

Model file specification

Filename	Quant type	File Size	Description
internlm2_5-step-prover-Q2_K.gguf	Q2_K	3.005 GB	smallest, significant quality loss - not recommended for most purposes
internlm2_5-step-prover-Q3_K_S.gguf	Q3_K_S	3.476 GB	very small, high quality loss
internlm2_5-step-prover-Q3_K_M.gguf	Q3_K_M	3.830 GB	very small, high quality loss
internlm2_5-step-prover-Q3_K_L.gguf	Q3_K_L	4.133 GB	small, substantial quality loss
internlm2_5-step-prover-Q4_0.gguf	Q4_0	4.453 GB	legacy; small, very high quality loss - prefer using Q3_K_M
internlm2_5-step-prover-Q4_K_S.gguf	Q4_K_S	4.485 GB	small, greater quality loss
internlm2_5-step-prover-Q4_K_M.gguf	Q4_K_M	4.713 GB	medium, balanced quality - recommended
internlm2_5-step-prover-Q5_0.gguf	Q5_0	5.373 GB	legacy; medium, balanced quality - prefer using Q4_K_M
internlm2_5-step-prover-Q5_K_S.gguf	Q5_K_S	5.373 GB	large, low quality loss - recommended
internlm2_5-step-prover-Q5_K_M.gguf	Q5_K_M	5.507 GB	large, very low quality loss - recommended
internlm2_5-step-prover-Q6_K.gguf	Q6_K	6.350 GB	very large, extremely low quality loss
internlm2_5-step-prover-Q8_0.gguf	Q8_0	8.224 GB	very large, extremely low quality loss - not recommended

Downloading instruction

Command line

Firstly, install Huggingface Client

pip install -U "huggingface_hub[cli]"

Then, downoad the individual model file the a local directory

huggingface-cli download tensorblock/internlm2_5-step-prover-GGUF --include "internlm2_5-step-prover-Q2_K.gguf" --local-dir MY_LOCAL_DIR

If you wanna download multiple model files with a pattern (e.g., *Q4_K*gguf), you can try:

huggingface-cli download tensorblock/internlm2_5-step-prover-GGUF --local-dir MY_LOCAL_DIR --local-dir-use-symlinks False --include='*Q4_K*gguf'

Task: Text Generation
License: other
Languages: en
Created: Nov 25, 2024
Updated: Jan 27, 2026