{"id":"2e7505d9-0e49-451e-ad8a-e43fff465467","slug":"hf-model-purewhite42-rautoformalizer-ra-internlm-6kg0y1-13","name":"rautoformalizer_ra_internlm","description":"Hugging Face model purewhite42/rautoformalizer_ra_internlm. Task: text generation. Library: transformers. 23 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:20.358Z"}