Jiong Yang

Portrait
       

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

My research interests center on SAT solving and model counting, with a particular focus on hashing-based approximate model counting algorithms and SAT solving that involves XOR constraints.

I am dedicated to advancing the integration of probabilistic and logical reasoning. To this end, on the one hand, I employ causal reasoning to gain a deeper understanding of how SAT solvers work and leverage machine learning to enhance SAT-solving performance. On the other hand, I utilize SAT solvers and model counters to verify the properties of binarized neural networks.

I started my PhD at National University of Singapore and 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.

Publications

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

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

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

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)

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

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)