I am a PhD candidate in the Computer Science Department at Stanford University, advised by Prof. Clark Barrett. My research aims to bridge the gap between automated logical reasoning and machine learning. Specifically, I have developed mathematical techniques to formally verify properties of AI-driven systems, being the main developer of the Marabou verification framework. I have also employed machine learning techniques to improve the efficiency of automated reasoning tools in robust and automatic manners.
I am a passionate educator. At Stanford, I have developed and taught a new course, CS257: Introduction to Automated Reasoning in consecutive years with Prof. Caroline Trippel. I also plan to compile a textbook on this subject. Potential publishers please don’t hesitate to reach out to me.
News:
- Jan. 2024: Our paper “Lemur: Integrating Large Language Models in Automated Program Verification” was accepted at ICLR’24.
- Dec. 2023: I will be an Assistant Professor in Computer Science at Amherst College starting Fall 2024.
- Dec. 2023: Our paper “Towards Efficient Verification of Quantized Neural Networks” was accepted at AAAI’24.