{"id":"4b2cf233-69c5-472c-b8a4-1de02b332843","slug":"hf-model-purewhite42-rautoformalizer-gtra-internlm-uurokk-15","name":"rautoformalizer_gtra_internlm","description":"Hugging Face model purewhite42/rautoformalizer_gtra_internlm. Task: text generation. Library: transformers. 24 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:13.714Z"}