01

Basic information

Model repository: tsinghua-sigs-robot-lab/VeriLoop-E2
Organization: tsinghua-sigs-robot-lab
Tasks: text-generation

02

Architecture and runtime

Model type: qwen3_5
Architecture: Qwen3_5ForConditionalGeneration
Libraries: safetensors
Base models: Qwen/Qwen3.8-27B
Current revision: master

03

License and update history

License: apache-2.0
Created: 2026-10-10
Last updated: 2026-10-10

conversationalverilooppost-trainingcoding-agentsoftware-engineeringmathematical-reasoningscientific-reasoningtool-uselong-contextsafetensorsvllmapache-2.0
04

Hardware requirements

Not filled in locally.

05

Download links

Not filled in locally.

06

Basic usage example

Not filled in locally.