Yu, T., Stahle-Smith, R., Eswaramoorthi, D., & Karakchi, R. (2025). ML-Based Automata Simplification for Symbolic Accelerators.
Chicago Style (17th ed.) CitationYu, Tiffany, Rye Stahle-Smith, Darssan Eswaramoorthi, and Rasha Karakchi. ML-Based Automata Simplification for Symbolic Accelerators. 2025.
MLA (9th ed.) CitationYu, Tiffany, et al. ML-Based Automata Simplification for Symbolic Accelerators. 2025.
Warning: These citations may not always be 100% accurate.