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 spent one and a half years 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 the ACM class at Shanghai Jiao Tong University (SJTU).

My research interests mainly lie in neuro-symbolic AI, with a special focus on using deep neural networks to perform logical reasoning and mathematical reasoning. Recently, I have been working on using large language models to generate mathematical proofs like human beings, tackling the automated theorem proving problem in both formal and informal settings.

With a strong theoretical understanding and specific domain knowledge, I am also interested in developing machine learning algorithms for combinatorial optimization problems, particularly those around satisfiability problems such as SAT, SMT, and #SAT (model counting) problems, and applying them as reasoning engines in various 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.