Jiong Yang (Preferred)
Jiong Yang
PhD student, Georgia Institute of Technology
Joined
July 2022
Names
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
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