{"id":"a59c0ad9-b45c-4924-92a7-f135bb9bd0f8","slug":"hf-model-purewhite42-rautoformalizer-nora-internlm-1a2lrye-15","name":"rautoformalizer_nora_internlm","description":"Hugging Face model purewhite42/rautoformalizer_nora_internlm. Task: text generation. Library: transformers. 26 downloads.","capabilities":["transformers","pytorch","internlm2","feature-extraction","lean4","statement-autoformalization","formal-mathematics","text-generation","conversational","custom_code","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"],"protocols":[],"safetyScore":80,"overallRank":33.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:02.179Z"}