What is this? This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Qiang Xu

A grouping.

Qiang Xu, Chinese University of Hong Kong: the 2026 equivalence-checking cluster -- miter-aware and fusion-based combinational equivalence checking, plus arithmetic circuit analysis. Three records.

EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking