@misc{indiciaef58aa035adc5,
  title = {ML-Based Automata Simplification for Symbolic Accelerators},
  author = {Tiffany Yu and Rye Stahle-Smith and Darssan Eswaramoorthi and Rasha Karakchi},
  year = {2025},
  url = {https://arxiv.org/abs/2507.08751},
  note = {Source identifier: 2507.08751}
}