{"id":"872d1e53-9f96-4f2e-8840-7d86bfbfc69a","slug":"hf-model-antpg-deepseek-prover-isar-k4arcd-q","name":"deepseek-prover-isar","description":"Hugging Face model ANTPG/deepseek-prover-isar. Task: text generation. Library: transformers. 29 downloads.","capabilities":["transformers","safetensors","llama","text-generation","conversational","arxiv:1910.09700","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":34,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:47.169Z"}