Hugging Face model: connorolson/qwen35-9b-lean4-nongeometry-lora
Author: connorolson
Created: 2026-05-25 22:44:56
Last modified: 2026-05-25 22:51:11
Library: peft
Likes: 0 | Downloads: 5
Tags: peft, safetensors, lora, lean4, base_model:Qwen/Qwen3.5-9B, base_model:adapter:Qwen/Qwen3.5-9B, region:us
Base model relation: adapter
Base models: id: Qwen/Qwen3.5-9B
Card metadata:
library_name: peft
base_model: Qwen/Qwen3.5-9B
tags: peft, lora, lean4