I am a Ph.D. student in Computer Science at the University of Toronto, working with Prof. Xujie Si. Before coming to U of T, I have spent one year and a half at McGill University and Mila - Quebec AI Institute as a Ph.D. student. Prior to that, I obtained my bachelor's degree with honors from ACM Honors class, Shanghai Jiao Tong University (SJTU).

During my undergraduate studies, I have been fortunate enough to work with Prof. Junchi Yan as a research assistant at SJTU Think Lab in 2019, with Prof. Le Song as a research intern at Gatech Machine Learning Group in 2020.

My research interest mainly lies in neuro-symbolic learning and neural logical reasoning. Recently, I focus on using neural networks to generate symbolic rules, working on the automated theorem proving problem in both formal and informal settings.

With theoretical understanding and specific domain knowledge, I am also interested in developing machine learning algorithms for satisfiability problems, e.g., SAT and #SAT (model counting) problems, and applying them as reasoning engines in some downstream applications.

If you find any research interests that we might share, feel free to drop me an email. I am always open to potential collaborations.