@misc{indiciae9884057fe3b0,
  title = {Optimism in Equality Saturation},
  author = {Russel Arbore and Alvin Cheung and Max Willsey},
  year = {2026},
  doi = {10.1145/3808302},
  url = {https://arxiv.org/abs/2511.20782},
  note = {Source identifier: 2511.20782}
}