1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.PL2026★ 1 cited
A Formally Verified Procedure for Width Inference in FIRRTL
Keyin Wang, Xiaomu Shi, Jiaxiang Liu +4
FIRRTL is an intermediate representation language for Register Transfer Level (RTL) hardware designs. In FIRRTL programs, the bit widths of many components are not specified explic…
cs.MM2025
Semi-supervised Semantic Segmentation with Multi-Constraint Consistency Learning
Jianjian Yin, Tao Chen, Gensheng Pei +3
Consistency regularization has prevailed in semi-supervised semantic segmentation and achieved promising performance. However, existing methods typically concentrate on enhancing t…
cs.CV2025
Seeing What Matters: Empowering CLIP with Patch Generation-to-Selection
Gensheng Pei, Tao Chen, Yujia Wang +4
The CLIP model has demonstrated significant advancements in aligning visual and language modalities through large-scale pre-training on image-text pairs, enabling strong zero-shot…