{"id":"16f376e6-ddbf-42f9-8dd6-6414ef659257","slug":"hf-model-minhdn-deepseek-prover-sinq-4bit-wlqzx9-w","name":"deepseek-prover-sinq-4bit","description":"Hugging Face model Minhdn/deepseek-prover-sinq-4bit. Task: text generation. Library: transformers. 24 downloads.","capabilities":["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"],"protocols":[],"safetyScore":80,"overallRank":33.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:15.252Z"}