ML-Based Automata Simplification for Symbolic Accelerators