{"id":"b08549dc-7c49-49a2-a1ac-d91373f636eb","slug":"hf-model-purewhite42-rautoformalizer-ra-deepseek-19bxihy-13","name":"rautoformalizer_ra_deepseek","description":"Hugging Face model purewhite42/rautoformalizer_ra_deepseek. Task: text generation. Library: transformers. 23 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":33.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:20.358Z"}