I am a second year Computer Science PhD student at Iowa State University, working with Kristin Yvonne Rozier in the Laboratory for Temporal Logic. I hold a double major B.A. in Computer Science and Mathematics from UC Berkeley.

My research interests lie at the intersection of formal methods and artificial intelligence. I focus on developing tools and algorithms for temporal logic and formally verifying these algorithms using interactive theorem provers, primarily Isabelle/HOL. Additionally, I am interested in applying reinforcement learning to automated theorem proving.

Publications (* denotes equal contribution)

1. Zili Wang, Frank Montabon, Kristin Yvonne Rozier. Neurosymbolic Feature Extraction for Identifying Forced Labor in Supply Chains. Submitted to the International Workshop on Trustworthy Cyber-Physical Systems, 2025.
2. Alec Rosentrater, Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier. Language Partitioning for Mission-time Linear Temporal Logic. To appear in the NASA Formal Methods Symposium (NFM), 2025.
3. Zili Wang, Katherine Kosaian, Kristin Rozier. Formally Verifying a Transformation from MLTL Formulas to Regular Expressions. To appear in the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2025. Preprint available.
4. Milad Memarzadeh, Zili Wang, Farzan Masrour Shalmani, Pouria Razzaghi, Krishna Kalyanam. Responsible AI for Air Traffic Management: Application to Runway Configuration Assistance Tool. Submitted to the Air Transportation Research and Development Symposium, 2025.
5. Katherine Kosaian, Zili Wang, Elizabeth Sloan, Kristin Rozier. Formalizing MLTL Formula Progression in Isabelle/HOL. Submitted to the International Conference on Formal Structures for Computation and Deduction, 2024. Preprint available.
6. Mohammad Rifat Arefin, Suraj Shetiya, Zili Wang, Christoph Csallner. 2024. Fast Deterministic Black-box Context-free Grammar Inference. In Proceedings of the IEEE/ACM 46th International Conference on Software Engineering (ICSE '24). Association for Computing Machinery, New York, NY, USA, Article 117, 1–12. doi: 10.1145/3597503.3639214.
7. Zili Wang, Laura P. Gamboa Guzman, Kristin Y. Rozier. WEST: Interactive Validation of Mission-time Linear Temporal Logic (MLTL). To appear in Science of Computer Programming, 2024.
8. Gasper Begus, Thomas Lu, Zili Wang. Spontaneous Concatenation in Unsupervised Deep Neural Networks. To appear in the Journal of Memory and Language, 2024. Preprint available.
9. Jenna Elwing, Laura Gamboa, Jeremy Sorkins, Chiara Travesset, Zili Wang, Kristin Rozier. Mission-time LTL (MLTL) Formula Validation via Regular Expressions. In Proceedings of the International Conference on Integrated Formal Methods (iFM), 2023. doi: 10.1007/978-3-031-47705-8_15.
10. Michael Gintz, Matthew Kortje, Megan Laurance, Zili Wang, Yong Yang. Finite Permutation Groups With Few Orbits Under the Action on the Power Set, II. Publicationes Mathematicae Debrecen, v.102, 2023. doi: 10.5486/PMD.2023.9392.
11. Michael Gintz, Matthew Kortje, Megan Laurance, Zili Wang, Yong Yang. On the Characterization of Some Non-abelian Simple Groups with Few Codegrees. Communications in Algebra, v.50, 2022. doi: 10.1080/00927872.2022.2049807.
12. Michael Gintz, Thomas Keller, Matthew Kortje, Megan Laurance, Zili Wang, Yong Yang. The Number of Set Orbits of Permutation Groups and the Group Order. Bulletin of the Australian Mathematical Society, v.106, 2022. doi: 10.1017/S0004972721001064.