Basic information
Model repository: tsinghua-sigs-robot-lab/VeriLoop-Coder-E1
Organization: tsinghua-sigs-robot-lab
Tasks: text-generation
Architecture and runtime
Model type: qwen3_5
Architecture: Qwen3_5ForConditionalGeneration
Libraries: peft, lora, safetensors, pytorch
Base models: Qwen/Qwen3.6-27B
Current revision: master
License and update history
License: apache-2.0
Created: 2026-10-10
Last updated: 2026-10-10
Hardware requirements
Not filled in locally.
Download links
Not filled in locally.
Basic usage example
Not filled in locally.