01

基本信息

模型仓库：tsinghua-sigs-robot-lab/VeriLoop-E2
组织：tsinghua-sigs-robot-lab
任务：文本生成

02

架构与运行信息

模型类型：qwen3_5
架构：Qwen3_5ForConditionalGeneration
支持库：safetensors
基础模型：Qwen/Qwen3.8-27B
当前修订：master

03

许可与更新时间

许可：apache-2.0
创建日期：2026-10-10
最近更新：2026-10-10

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

硬件需求

尚未在本地填写。

05

下载地址

尚未在本地填写。

06

基本使用示例

尚未在本地填写。