@misc{indiciaef5aaa9f685cc,
  title = {Equality saturation theory exploration à la carte},
  author = {Anjali Pal and Brett Saiki and Ryan Tjoa and Cynthia Richey and Amy Zhu and Oliver Flatt and Max Willsey and Zachary Tatlock and Chandrakana Nandi},
  year = {2026},
  url = {https://arxiv.org/abs/2609.14527},
  note = {Source identifier: 2609.14527}
}