ROVER resolves this problem by building upon the e-graph data structure, which compactly represents a design space of equivalent implementations. By applying rewrites to this data structure, ROVER ...

If you rotate an image of a molecular structure, a human can tell the rotated image is still the same molecule, but a machine ...