Model: tensorblock/internlm2_5-step-prover-GGUF
Author: tensorblock
Pipeline: text-generation
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 models (quantized): 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
Likes: 0 | All-time downloads: 1925
Created: 2024-11-25 13:08:01