Hugging Face model: Minhdn/deepseek-prover-sinq-4bit
Author: Minhdn
Created: 2025-11-14 02:28:01
Last modified: 2025-11-14 03:08:18
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 10
Tags: transformers, safetensors, llama, text-generation, deepseek, prover, lean4, theorem-proving, quantized, sinq, 4-bit, conversational, arxiv:2405.14333, arxiv:2509.22944, base_model:deepseek-ai/DeepSeek-Prover-V1.5-Base, base_model:finetune:deepseek-ai/DeepSeek-Prover-V1.5-Base, license:mit, text-generation-inference, endpoints_compatible, 8-bit, region:us
Base model relation: finetune
Base models: id: deepseek-ai/DeepSeek-Prover-V1.5-Base
Card metadata:
license: mit
base_model: deepseek-ai/DeepSeek-Prover-V1.5-Base
tags: deepseek, prover, lean4, theorem-proving, quantized, sinq, 4-bit
library_name: transformers