@misc{indiciaecc3b0fb3a226,
  title = {Rewrite System Showdown: Stochastic Search vs. EqSat},
  author = {Qiantan Hong and Rupanshu Soi and Yihong Zhang and Alex Aiken},
  year = {2026},
  url = {https://arxiv.org/abs/2605.19005},
  note = {Source identifier: 2605.19005}
}