@misc{indiciaed2db94d54420,
  title = {An Extensible and Verifiable Language for Query Rewrite Rules},
  author = {Sicheng Pan and Shuxian Wang and Wesley Zheng and Zirong Zeng and Vijay Sharma and Alvin Cheung},
  year = {2026},
  url = {https://arxiv.org/abs/2605.05536},
  note = {Source identifier: 2605.05536}
}