Zenan Li

Postdoc, Department of Computer Science, ETHZ - ETH Zurich

PhD student, Nanjing University

  • Joined May 2021

Names

Zenan Li (Preferred)

Emails

****@smail.nju.edu.cn (Confirmed)
,
****@gmail.com (Confirmed)
,
****@smail.nju.edu.cn (Confirmed)
,
****@inf.ethz.ch (Confirmed)

Personal Links

Career & Education History

Postdoc
Department of Computer Science, ETHZ - ETH Zurich (inf.ethz.ch)
2025 – Present
 
PhD student
Nanjing University (nju.edu.cn)
2020 – 2025
 
Intern
Research, Microsoft (research.microsoft.com)
2023 – 2024
 
MS student
Nanjing University (nju.edu.cn)
2017 – 2020
 
Undergrad student
Southwest Jiaotong University (swjtu.edu.cn)
2013 – 2017
 

Advisors, Relations & Conflicts

Postdoc Advisor
2025 – Present
 
PhD Advisor
2017 – 2025
 

Expertise

Neural Theorem Proving
2023 – Present
 
Neuro-Symbolic AI
2022 – Present