Hugging Face model: internlm/internlm2_5-step-prover-critic
Author: internlm
Created: 2024-10-21 07:21:17
Last modified: 2024-10-22 16:21:54
Pipeline: text-generation
Likes: 6 | Downloads: 47
Tags: pytorch, internlm2, math, text-generation, conversational, custom_code, en, dataset:internlm/Lean-Workbook, dataset:internlm/Lean-Github, arxiv:2410.15700, license:other, region:us
Card metadata:
pipeline_tag: text-generation
license: other
language: en
tags: math
datasets: internlm/Lean-Workbook, internlm/Lean-Github