TY  - RPRT
TI  - ML-Based Automata Simplification for Symbolic Accelerators
AU  - Tiffany Yu
AU  - Rye Stahle-Smith
AU  - Darssan Eswaramoorthi
AU  - Rasha Karakchi
PY  - 2025
UR  - https://arxiv.org/abs/2507.08751
ID  - 2507.08751
ER  -