跳到主内容
Ai Lab

简历

科研

Quotient: Quotient-Manifold Subspace Recovery for Low-Bit Vision Transformer Repair

第一作者ICONIP 2026CCF-C已接收
具体工作收起

论文面向低比特 Vision Transformer 的修复问题,研究基于商流形的子空间恢复方法。论文已被 ICONIP 2026 接收,将收录于 Springer Lecture Notes in Computer Science(LNCS)会议论文集。

#低比特量化#Vision Transformer#模型修复#商流形

EdgeToken-AD: Anomaly-Aware Token Pruning for Vision Transformer-Based Industrial Anomaly Detection

第一作者FAIML 2026国际会议已出版Oral
具体工作收起

工业异常检测部署到产线时,算力预算通常是固定的,而 ViT 的开销随 token 数量线性增长。常规做法是 uniform 或 random pruning,但它们对 token 一视同仁,缺陷区域往往只占画面很小一块,恰恰最容易被丢掉。

EdgeToken-AD 把剪枝决策变成异常感知的:融合 CLS 注意力显著性、memory-bank 距离与 token 自身的统计信息,在固定推理预算下优先保留与缺陷相关的 patch。方法基于 DINOv2 与 PatchCore,不需要重训主干。

在 MVTec AD 上保留 80% token 时,PRO 相比 uniform pruning 提升 5.49 个百分点,相比 random pruning 提升 7.43 个百分点。

#异常检测#Token 剪枝#Vision Transformer#高效推理

Symplectic-Mamba: Structured Recurrence for World-State Tracking

第一作者ICANN 2026CCF-C已出版DOI: 10.1007/978-3-032-38401-0_11
具体工作收起

长上下文里追踪实体状态是世界模型的基本功,也是现有序列模型的薄弱环节:随着动作序列变长,模型对「某个实体现在处于什么状态」的记忆会逐步漂移。

Symplectic-Mamba 从结构上约束这件事。实体索引让每个实体拥有可寻址的状态槽位,动作条件更新使状态只在相关动作发生时被改写,哈密顿结构更新则借辛几何的保体积性质抑制长程累积误差。

在状态追踪任务上,方法同时优于通用序列模型与专门为该任务设计的基线。

#世界状态#状态追踪#Mamba#结构化循环

Beyond Smooth Darcy: Evaluation Changes the Conclusion in Sparse-Sensor Inverse Learning

第一作者ICANN 2026CCF-C已出版DOI: 10.1007/978-3-032-38404-1_41
具体工作收起

稀疏传感器 Darcy 反问题的常用基准过于光滑:constant forcing、零边界、无噪观测、单一分辨率。在这样的设置下比较方法,结论可能并不成立。

这篇工作重新设计了评测协议,把任务扩展到多源 forcing、非零边界条件、含噪观测与跨分辨率 scale-up,然后重跑同一批方法。结果显示,简单基准会导出错误的传感器布局方案与被高估的可靠性结论 —— 换掉评测设置,排名就变了。

结论不是某个方法更好,而是评测本身需要先被质疑。

#反问题#科学机器学习#评测方法#传感器布局

Difference-Aware Parameter-Efficient Adaptation for Bi-Temporal Change Detection

通讯作者IEEE SMC 2026CCF-C已接收
具体工作收起

把预训练视觉模型迁移到双时相遥感变化检测时,PEFT 是自然选择,但现有载体对两个时相的输入无差别处理,而「哪里变了」本身就是任务信号。

这篇工作提出差异感知的参数高效适配:从双时相特征中提取差异描述子,用它动态调制 PEFT 模块的行为。调制是载体无关的,在 LoRA、Adapter、SSF、VPT 上都能接入。

在 LEVIR-CD 与 S2Looking 上取得稳定的 IoU 提升,同时明显降低了不同随机种子之间的波动 —— 后者对小样本遥感任务的实际可用性影响不亚于均值指标。

#变化检测#参数高效微调#遥感#LoRA

BudgetVerify: Budgeted Claim Verification for Agriculture-Focused Retrieval-Augmented Generation

Xiongwei He, Xinjie Cui, Tianyi Ren, Xiaopeng Zhao, Qi Lu

PRICAI 2026CORE B已接收
具体工作收起

论文面向农业领域的检索增强生成,研究在预算约束下核查生成内容中各项陈述的方法。论文已被 PRICAI 2026 接收。

#检索增强生成#事实核查#农业

GaugeOrbit: Function-Equivalent Representation Search for Low-Bit Post-Training Quantization of Vision Transformers

Xiongwei He, Haonan Wang, Xinyu Li, Tingyu Zhang, Xinjie Cui

PRICAI 2026CORE B已接收
具体工作收起

论文研究 Vision Transformer 的低比特训练后量化,在功能等价的表示之间搜索更适合量化的形式。论文已被 PRICAI 2026 接收。

#低比特量化#训练后量化#Vision Transformer

Rethinking Visual Token Compression in Vision-Language Models: A Cross-Backbone Diagnostic Study of Prompt-Conditioned Visual Measure Matching

Xiongwei He, Xiaopeng Zhao, Tianyi Ren, Qi Lu, Ruiyu Zhang, Xinjie Cui

PRICAI 2026CORE B已接收
具体工作收起

论文跨多个视觉语言模型骨干,诊断性地研究视觉 Token 压缩中的提示条件视觉度量匹配问题。论文已被 PRICAI 2026 接收。

#视觉语言模型#视觉 Token 压缩#高效推理

Selective Attention-Head Recovery for Low-Bit Multimodal LLMs

Xiongwei He, Tianyi Ren, Qi Lu, Xiaopeng Zhao, Xinjie Cui, Xiaoying Zhang

PRICAI 2026CORE B已接收
具体工作收起

论文研究低比特多模态大模型的精度恢复,有选择地恢复关键注意力头。论文已被 PRICAI 2026 接收。

#多模态大模型#低比特量化#注意力头

学术服务

  • ICANN 2026程序委员会成员
  • PRICAI 2026程序委员会成员
  • IEEE SMC 2026程序委员会成员
  • ICONIP 2026程序委员会成员

竞赛

国奖
4
省奖
6

2026

6 项

睿抗机器人开发者大赛(RAICOM)金融反诈赛道

国家二等奖
国家级

2026 程序设计天梯赛 - 普及赛

国家二等奖
国家级中国计算机学会

2026 团队程序设计天梯赛

高校一等奖
国家级中国计算机学会

中国高校计算机大赛

省二等奖
省级教育部高等学校计算机类专业教学指导委员会

统计建模大赛

省二等奖
省级山西省统计学会

第十七届蓝桥杯山西赛区 C/C++ 程序设计大学 B 组

省二等奖
省级工业和信息化部人才交流中心

2025

4 项

2025 团队程序设计天梯赛

高校一等奖
国家级中国计算机学会

2025 全国大学生数学建模竞赛

省二等奖
省级中国工业与应用数学学会

2025 金地杯山西省数学建模竞赛

省二等奖
省级山西省工业与应用数学学会

第十六届蓝桥杯山西赛区 C/C++ 程序设计大学 B 组

省二等奖
省级工业和信息化部人才交流中心

项目

1 个项目 · 用到 Astro / TypeScript / Tailwind CSS / Cloudflare Workers

个人主页

❋

用 Astro 与 Tailwind 搭建、部署在 Cloudflare 边缘网络上的静态站点。

  • Astro
  • TypeScript
  • Tailwind CSS
  • Cloudflare Workers