{"id":"3eb0d339-48db-461d-a333-4e8867de4ffa","slug":"hf-model-athanor-ai-deepseek-prover-v2-7b-gptq-4bit-c79a73-16","name":"DeepSeek-Prover-V2-7B-GPTQ-4bit","description":"Hugging Face model athanor-ai/DeepSeek-Prover-V2-7B-GPTQ-4bit. Task: text generation. Library: transformers. 34 downloads. 1 likes.","capabilities":["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"],"protocols":[],"safetyScore":80,"overallRank":34.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:33.239Z"}