Hugging Face model: tensorblock/internlm2_5-step-prover-GGUF
Author: tensorblock
Created: 2024-11-25 13:08:01
Last modified: 2026-01-27 21:15:26
Pipeline: text-generation
Likes: 0 | Downloads: 43
Tags: gguf, math, TensorBlock, GGUF, text-generation, en, dataset:internlm/Lean-Workbook, dataset:internlm/Lean-Github, base_model:internlm/internlm2_5-step-prover, base_model:quantized:internlm/internlm2_5-step-prover, license:other, endpoints_compatible, region:us, conversational
Base model relation: quantized
Base models: id: internlm/internlm2_5-step-prover
Card metadata:
pipeline_tag: text-generation
license: other
language: en
tags: math, TensorBlock, GGUF
datasets: internlm/Lean-Workbook, internlm/Lean-Github
base_model: internlm/internlm2_5-step-prover