Hugging Face model: athanor-ai/DeepSeek-Prover-V2-7B-GPTQ-4bit
Author: athanor-ai
Created: 2026-04-23 20:40:59
Last modified: 2026-04-24 00:17:37
Pipeline: text-generation
Library: transformers
Likes: 1 | Downloads: 5
Tags: transformers, safetensors, llama, text-generation, lean4, theorem-proving, gptq, quantization, int4, conversational, base_model:deepseek-ai/DeepSeek-Prover-V2-7B, base_model:quantized:deepseek-ai/DeepSeek-Prover-V2-7B, license:other, text-generation-inference, endpoints_compatible, 4-bit, region:us
Base model relation: quantized
Base models: id: deepseek-ai/DeepSeek-Prover-V2-7B
Card metadata:
license: other
license_name: deepseek-license
license_link: https://github.com/deepseek-ai/DeepSeek-Prover-V2/blob/main/LICENSE-MODEL
base_model: deepseek-ai/DeepSeek-Prover-V2-7B
tags: lean4, theorem-proving, gptq, quantization, int4
library_name: transformers
pipeline_tag: text-generation