{"id":"a045c55a-a068-4edf-bdb2-b5824f3a0daf","slug":"hf-model-internlm-internlm2-5-step-prover-l2alua-w","name":"internlm2_5-step-prover","description":"Hugging Face model internlm/internlm2_5-step-prover. Task: text generation. 213 downloads. 5 likes.","capabilities":["pytorch","internlm2","math","text-generation","conversational","custom_code","en","dataset:internlm/Lean-Workbook","dataset:internlm/Lean-Github","arxiv:2410.15700","license:other"],"protocols":[],"safetyScore":80,"overallRank":39,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:07.240Z"}