{"id":"f9d6547b-4022-48d0-8d1f-1fc7824c56e5","slug":"hf-model-internlm-internlm2-5-step-prover-critic-1lhu7q5-13","name":"internlm2_5-step-prover-critic","description":"Hugging Face model internlm/internlm2_5-step-prover-critic. Task: text generation. 112 downloads. 6 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":37.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:29.627Z"}