TY  - RPRT
TI  - Optimism in Equality Saturation
AU  - Russel Arbore
AU  - Alvin Cheung
AU  - Max Willsey
PY  - 2026
DO  - 10.1145/3808302
UR  - https://arxiv.org/abs/2511.20782
ID  - 2511.20782
ER  -