Model: internlm/internlm2_5-step-prover
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: 5 | All-time downloads: 7896
Created: 2024-10-21 06:50:05