Zenan Li

I am a postdoctoral researcher in the Department of Computer Science at ETH Zürich, working with Prof. Zhendong Su. I obtained my Ph.D. from Nanjing University under the supervision of Prof. Xiaoxing Ma and Prof. Jian Lü, and hold a B.Sc. in Mathematics from Southwest Jiaotong University.

Before the advent of large language models (LLMs), my research primarily focused on the integration of deep learning and software engineering, particularly quality assurance for deep learning models and software engineering automation via deep learning. Additionally, I worked on mathematical optimization, developing fast algorithms and theoretical analysis for minimax/bilevel optimization in large-scale machine learning.

In the LLM era, my research has shifted to neuro-symbolic AI. Beyond exploring the theoretical foundations of neuro-symbolic learning, I am particularly focused on its applications, including theorem proving, mathematical reasoning, and formal verification.