Hugging Face model: internlm/internlm2_5-step-prover
Author: internlm
Created: 2024-10-21 06:50:05
Last modified: 2024-10-22 16:17:02
Pipeline: text-generation
Likes: 5 | Downloads: 182
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