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.

Min Li

A grouping.

Min Li: on all three records of the 2026 equivalence-checking cluster the corpus took from the Chinese University of Hong Kong seam -- arithmetic circuit analysis, miter-aware and fusion-based checking.

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

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