Jiong Yang

Portrait
       

I am a PhD student in the School of Computer Science at the Georgia Institute of Technology, advised by Kuldeep S. Meel.

My research advances automated reasoning from both theoretical and practical perspectives, with a focus on developing scalable, trusted, and practical automated reasoning techniques.

In particular, I work on SAT solving and model counting, with an emphasis on hashing-based approximate model counting algorithms and SAT solving that involves XOR constraints. My work aims to close the performance gap between solving and approximate counting, develop certified approximate counters, and extend applications of solving and counting to domains such as quantum computing and machine learning. This research has been recognized with the Distinguished Paper Awards at CAV 2023 and CAV 2024, as well as the Best Student Paper Runner-Up Awards at SAT 2024 and SAT 2025.

I started my PhD at the National University of Singapore and later moved to Georgia Tech with my advisor. Before joining Meel Group, I received a BEng in Computer Science from Xi'an Jiaotong University in 2020.

Publication

Towards Real-Time Approximate Counting
Yash Pote ⓡ Kuldeep S. Meel ⓡ Jiong Yang.
Annual AAAI Conference on Artificial Intelligence (AAAI 2025) [Oral]
ⓡ random order

Efficient Certified Reasoning for Binarized Neural Networks
Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, and Kuldeep S. Meel.
International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)
Best Student Paper Runner-Up Award

Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving
Jiong Yang, Yaroslav A. Kharkov, Yunong Shi, Marijn Heule, and Bruno Dutertre.
International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
Best Student Paper Runner-Up Award

Formally Certified Approximate Model Counting
Yong Kiam Tan*, Jiong Yang*, Mate Soos, Magnus O. Myreen, and Kuldeep S. Meel.
International Conference on Computer Aided Verification (CAV 2024)
* equal contribution
Distinguished Paper Award

Rounding Meets Approximate Model Counting
Jiong Yang and Kuldeep S. Meel.
International Conference on Computer Aided Verification (CAV 2023)
Distinguished Paper Award

Explaining SAT Solving Using Causal Reasoning
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, and Kuldeep S. Meel.
International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)

Projected Model Counting: Beyond Independent Support
Jiong Yang, Supratik Chakraborty, and Kuldeep S. Meel.
International Symposium on Automated Technology for Verification and Analysis (ATVA 2022)

Engineering an Efficient PB-XOR Solver
Jiong Yang and Kuldeep S. Meel.
International Conference on Principles and Practice of Constraint Programming (CP 2021)

Learning Formatting Style Transfer and Structure Extraction for Spreadsheet Tables with a Hybrid Neural Network Architecture
Haoyu Dong, Jiong Yang, Shi Han, and Dongmei Zhang.
International Conference on Information and Knowledge Management (CIKM 2020)