Hugging Face model: yotsubian/qwen
Author: yotsubian
Created: 2026-03-14 09:47:23
Last modified: 2026-03-14 15:42:16
Library: peft
Likes: 0 | Downloads: 6
Tags: peft, safetensors, lean4, theorem-proving, lora, base_model:Qwen/Qwen3-4B-Instruct-2507, base_model:adapter:Qwen/Qwen3-4B-Instruct-2507, region:us
Base model relation: adapter
Base models: id: Qwen/Qwen3-4B-Instruct-2507
Card metadata:
base_model: Qwen/Qwen3-4B-Instruct-2507
tags: lean4, theorem-proving, lora, peft