{"id":"d7ad6b5e-7784-4780-a3ae-b0c69884b794","slug":"hf-model-wufuju-internlm2-5-step-prover-critic-1bf0y6g-11","name":"internlm2-5-step-prover-critic","description":"Hugging Face model WufuJu/internlm2-5-step-prover-critic. Task: text generation. 166 downloads.","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":38.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:16.259Z"}