Jiong Yang

PhD student, Georgia Institute of Technology

  • Joined July 2022

Names

Jiong Yang (Preferred)

Emails

****@gmail.com (Confirmed)

Personal Links

Career & Education History

PhD student
Georgia Institute of Technology (gatech.edu)
2025 – Present
 
PhD student
National University of Singapore (u.nus.edu)
2021 – 2024
 
Undergrad student
Xi'an Jiaotong University (xjtu.edu.cn)
2016 – 2020
 

Advisors, Relations & Conflicts

PhD Advisor
2021 – Present
 

Expertise

Theorem Proving
2023 – Present
 
Causality
2022 – Present
 
SAT Solving
2020 – Present
 
Model Counting
2020 – Present
 
Verification of Neural Networks
2020 – Present
 
Neural Symbolic Reasoning
2020 – Present
 
Machine Learning
2018 – Present