{"id":"497150b2-d247-4a21-8b95-007eff0b9c19","slug":"hf-model-xiaoxuezhu-deepseek-math-isabelle-prover-lora-1qgd6j5-19","name":"deepseek-math-isabelle-prover-lora","description":"Hugging Face model xiaoxuezhu/deepseek-math-isabelle-prover-lora. Task: text generation. Library: peft. 25 downloads.","capabilities":["peft","safetensors","base_model:adapter:deepseek-ai/deepseek-math-7b-base","lora","transformers","isabelle","isabelle-hol","theorem-proving","neural-theorem-proving","formal-verification","text-generation","base_model:deepseek-ai/deepseek-math-7b-base","license:other"],"protocols":[],"safetyScore":80,"overallRank":33.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:09.772Z"}