Ziyang is a current 4th year Ph.D. student in the University of Pennsylvania, advised by Prof. Mayur Naik. He is interested in the domains of neuro-symbolic methods, programming languages (PL), security, and machine learning (ML). Recently, he is focusing on building and extending Scallop, a neuro-symbolic programming language, in order to bridge the world of classical programming and automated reasoning with deep learning. He is awarded the AWS Fellowship 2023 for conducting research on trustworthy AI.
Before pursuing Ph.D., he enjoyed doing research in computer graphics (CG) and human computer interaction (HCI). In his spare time, he enjoys coding, playing piano, and making video games (checkout his personal website). Rust is his favorite programming language.
- Email: liby99@seas.upenn.edu
- Github: github.com/liby99
- Curriculum Vitae
- Ph.D. Computer and Information Science - University of Pennsylvania (07/2019 - Now)
- B.S. Computer Science, B.S. Mathematics - University of California, San Diego (09/2015 - 06/2019)
Publications
In Submission
-
[Under review] Weighted Contrastive Learning for Scene Graph Generation
Workshop
-
Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming Pre-training Workshop@ICML 2022
-
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning AIPLANS Workshop@NeurIPS 2021
-
Date Manipulation over Legal Contracts via Relational Database DBAI Workshop@NeurIPS 2021
Work Experiences
- Summer Research Intern - RelationalAI, 05/2021 - 08/2021
- Summer Research Intern - Visa Research, 05/2020 - 07/2020
- Front-end Engineer Intern - Coursera, 06/2018 - 09/2018
- Undergraduate Research Intern - UCSD Design Lab, 06/2017 - 06/2018
Fellowships
- AWS Fellows - 05/2023
- KPCB Fellows, Engineering - 06/2018 - 09/2018
Teaching
- TA, CIS 547, Software Analysis - UPenn, Fall 2020, Fall 2021, Summar 2022, Fall 2022
- Tutor, CSE 190, Virtual Reality Technology - UCSD, Spring 2019
- Tutor, CSE 165, 3D User Interaction - UCSD, Winter 2019
- Tutor, CSE 130, Programming Language - UCSD, Fall 2018
- Tutor, CSE 163, Advanced Computer Graphics - UCSD, Spring 2018
- Tutor, CSE 167, Intro to Computer Graphics - UCSD, Winter 2018
- Tutor, CSE 12, Data Structure - UCSD, Winter 2017