Announcement_1

Our paper “BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation” received Best Paper Nomination at DAC 2025!