{"id":"3c67f690-4849-47e2-a303-cd01ef33e8e7","slug":"hf-model-purewhite42-rautoformalizer-nora-deepseek-dsz7j7-15","name":"rautoformalizer_nora_deepseek","description":"Hugging Face model purewhite42/rautoformalizer_nora_deepseek. Task: text generation. Library: transformers. 48 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":35,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:10.900Z"}