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
Large (5-20GB)