APA (7th ed.) Citation

Hong, Q., Soi, R., Zhang, Y., & Aiken, A. (2026). Rewrite System Showdown: Stochastic Search vs. EqSat.

Chicago Style (17th ed.) Citation

Hong, Qiantan, Rupanshu Soi, Yihong Zhang, and Alex Aiken. Rewrite System Showdown: Stochastic Search Vs. EqSat. 2026.

MLA (9th ed.) Citation

Hong, Qiantan, et al. Rewrite System Showdown: Stochastic Search Vs. EqSat. 2026.