Nina Narodytska is a staff researcher at VMware Research by Broadcom. Prior to VMware, she was a researcher at Samsung Research America. She completed postdoctoral studies in the Carnegie Mellon University School of Computer Science and the University of Toronto. She received her PhD from the University of New South Wales. She was named one of “AI’s 10 to Watch”researchers in the field of AI in 2013.Her primary research interests lie at the intersection of formal methods and machine learning. She has worked on verification and explainability of ML models. Recently, she has focused on using large language models to enhance program verification and leveraging automated reasoning to improve the reasoning abilities of large language models.  She has presented invited talks and tutorials at FMCAD’18, CP’19, AAAI’20, IJCAI’20, LMML’22, CP’22, ESSAI’23 and KR’24.