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.

Kezhi Li

A grouping.

Kezhi Li: the same three 2026 equivalence-checking records as the minli and qiangxu sets; this group publishes as a unit, which is why three person sets hold identical members.

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

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