Welcome! I am a second-year Computer Science PhD student at Stanford University advised by Clark Barrett. I am interested in formal verification and machine learning. I work on a formal analyzer of deep neural network called Marabou. I did my undergraduate at Davidson College, where I majored in Mathematics and Philosophy.
PUBLICATIONS: 《G2SAT: Learning to Generate SAT Formulas》