Hugging Face model: NJUDeepEngine/llm_based_atp
Author: NJUDeepEngine
Created: 2025-05-17 13:21:28
Last modified: 2025-06-23 13:09:48
Pipeline: text-generation
Likes: 1 | Downloads: 16
Tags: safetensors, qwen2, lean4, theorem-proving, formal-mathematics, text-generation, conversational, en, dataset:internlm/Lean-Workbook, base_model:Qwen/Qwen2.5-Math-7B, base_model:finetune:Qwen/Qwen2.5-Math-7B, license:apache-2.0, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen2.5-Math-7B
Card metadata:
license: apache-2.0
datasets: internlm/Lean-Workbook
language: en
base_model: Qwen/Qwen2.5-Math-7B
tags: lean4, theorem-proving, formal-mathematics
metrics: accuracy
pipeline_tag: text-generation