Hi! I’m Zhe Zeng; thanks for visiting my homepage. I’m a fourth year Ph.D. student in Computer Science at University of California, Los Angeles (UCLA). It’s very lucky for me to be advised by Professor Guy Van den Broeck and to be a member of Statistical and Relational Artificial Intelligence (StarAI) Lab✨🐻✨.
My research interests primarily lie in the intersection of Artificial Intelligence and formal methods. The goal of my research is to combine probabilistic and formal verification techniques to deal with both uncertainty as well as relational structure, and to enable AI systems to efficiently and reliably learn and infer from noisy, structured, and mixed discrete-continuous data.
I received my bachelor’s degree in Mathematics at Zhejiang University. As an undergraduate student, I was lucky to collaborate with Professor Qiang Liu at Dartmouth College in theory and methods for robust, scalable, and nonparametric variational inference.
Download my CV.
Interests
- Artificial Intelligence
- Probabilistic Inference
- Weighted Model Integration
- SMT Constraints
- Probabilistic Graphical Models
- Kernel Methods
Education
-
Ph.D. in Artificial Intelligence
2018 -- Present, UCLA
-
BSc in Mathematics with honors
2014 -- 2018, Zhejiang University
-
Exchange student in Mathematics
2016 Fall, Ohio State University
Working Experience
Yahoo Research
UCLA StarAI Lab
Publications
Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations
Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing
Awards
- The NEC Student Research Fellowship 2021
- Excellent Graduate, Zhejiang University 2018
- First-Class Scholarship for Elite Students in Basic Sciences, Zhejiang University 2016
Service
Program Committees
- UAI 2021; ICML 2021; IJCAI 2021; AISTATS 2021; AAAI 2020;2021; ICML 2020; 2021; NeurIPS 2020; AISTATS 2020, 2021; ICLR 2022
Mentoring
- Fanqi Yan (Master at CAS, now PhD student at UT Austin)
- Wenzhe Li (Undergrad at Tsinghua University, now PhD student at Tsinghua University)
Teaching
CS 161 Fundamentals of Artificial Intelligence
Contact
- zhezeng at cs.ucla.edu
- 404 Westwood Plaza, Los Angeles, CA 90095
- Room 386 Engineering VI