Model: internlm/internlm2_5-step-prover-critic
Author: internlm
Pipeline: text-generation
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
Likes: 6 | All-time downloads: 19720
Created: 2024-10-21 07:21:17