Our paper “EMERGE: Checking Implementation Equivalence for LLMs via Rule Synthesis” has been accepted by ASE 2026.