Hugging Face model: SJTULean/LeanFormalizer_SFT
Author: SJTULean
Created: 2024-12-24 02:41:14
Last modified: 2024-12-25 14:05:57
Likes: 2 | Downloads: 8
Tags: safetensors, qwen2, en, dataset:SJTULean/LeanStatement_SFT, base_model:Qwen/Qwen2.5-7B-Instruct, base_model:finetune:Qwen/Qwen2.5-7B-Instruct, license:apache-2.0, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen2.5-7B-Instruct
Card metadata:
license: apache-2.0
datasets: SJTULean/LeanStatement_SFT
language: en
result: dataset: type: Formalizer Lean
name: miniF2F
metrics: name: pass@1
type: pass@1
value: 0.9406
verified: no
base_model: Qwen/Qwen2.5-7B-Instruct