Hugging Face model: NJUDeepEngine/SEG-ATP
Author: NJUDeepEngine
Created: 2026-05-14 09:37:07
Last modified: 2026-05-15 06:01:05
Pipeline: text-generation
Likes: 0 | Downloads: 0
Tags: safetensors, theorem-proving, automated-theorem-proving, lean4, mathematical-reasoning, llm, qwen2.5-math, text-generation, en, dataset:kfdong/STP, dataset:internlm/Lean-Workbook, dataset:AI-MO/NuminaMath-LEAN, 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
base_model: Qwen/Qwen2.5-Math-7B
datasets: kfdong/STP, internlm/Lean-Workbook, AI-MO/NuminaMath-LEAN
language: en
tags: theorem-proving, automated-theorem-proving, lean4, mathematical-reasoning, llm, qwen2.5-math
pipeline_tag: text-generation