Semantic diffing of formal policies with anti-unification

Researchers developed an open-source semantic diff engine using anti-unification and e-graphs to compare formal policies beyond textual differences, aiding verification of autoformalized outputs from large language models.