{"id":"960a90e7-1b12-4518-8bc9-7c8c719b24e3","slug":"hf-model-purewhite42-rautoformalizer-gtra-deepseek-1xm964h-15","name":"rautoformalizer_gtra_deepseek","description":"Hugging Face model purewhite42/rautoformalizer_gtra_deepseek. Task: text generation. Library: transformers. 31 downloads.","capabilities":["transformers","pytorch","llama","text-generation","lean4","statement-autoformalization","formal-mathematics","en","dataset:hoskinson-center/proofnet","base_model:deepseek-ai/deepseek-math-7b-base","base_model:finetune:deepseek-ai/deepseek-math-7b-base","license:apache-2.0","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":34,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:40.411Z"}