Model: SJTULean/LeanFormalizer_PPO
Author: SJTULean
Tags: safetensors, qwen2, en, dataset:SJTULean/LeanStatement_SFT, dataset:SJTULean/LeanStatement_RL, base_model:Qwen/Qwen2.5-7B-Instruct, base_model:finetune:Qwen/Qwen2.5-7B-Instruct, license:apache-2.0, region:us
Base models (finetune): id: Qwen/Qwen2.5-7B-Instruct
Card metadata: license: apache-2.0
datasets: SJTULean/LeanStatement_SFT, SJTULean/LeanStatement_RL
language: en
metrics: accuracy
base_model: Qwen/Qwen2.5-7B-Instruct
Likes: 1 | All-time downloads: 197
Created: 2024-12-24 02:16:04