Shirley has published her work on optimizing symbolic execution using machine learning at SANER 2024. In this work, we explore trade-offs with integrating what are still, sometimes rather imperfect ML models, into symbolic execution tools for program analysis. You can read about our findings here!