TY  - RPRT
TI  - Equality saturation theory exploration à la carte
AU  - Anjali Pal
AU  - Brett Saiki
AU  - Ryan Tjoa
AU  - Cynthia Richey
AU  - Amy Zhu
AU  - Oliver Flatt
AU  - Max Willsey
AU  - Zachary Tatlock
AU  - Chandrakana Nandi
PY  - 2026
UR  - https://arxiv.org/abs/2609.14527
ID  - 2609.14527
ER  -