Learning Formatting Style Transfer and Structure Extraction for Spreadsheet Tables with a Hybrid Neural Network Architecture. - Haoyu Dong 001; Jiong Yang 002; Shi Han; Dongmei Zhang 001 (CIKM, 2020)

Engineering an Efficient PB-XOR Solver. - Jiong Yang 002; Kuldeep S. Meel (CP, 2021)

Projected Model Counting: Beyond Independent Support. - Jiong Yang 002; Supratik Chakraborty; Kuldeep S. Meel (ATVA, 2022)

Rounding Meets Approximate Model Counting. - Jiong Yang 002; Kuldeep S. Meel (CAV (2), 2023)

Explaining SAT Solving Using Causal Reasoning. - Jiong Yang 002; Arijit Shaw; Teodora Baluta; Mate Soos; Kuldeep S. Meel (SAT, 2023)

Formally Certified Approximate Model Counting. - Yong Kiam Tan; Jiong Yang 002; Mate Soos; Magnus O. Myreen; Kuldeep S. Meel (CAV (1), 2024)

Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving. - Jiong Yang 002; Yaroslav A. Kharkov; Yunong Shi; Marijn J. H. Heule; Bruno Dutertre (SAT, 2024)

Approximate Model Counting. - Yong Kiam Tan; Jiong Yang 002 (Arch. Formal Proofs, 2024)

Towards Real-Time Approximate Counting. - Yash Pote; Kuldeep S. Meel; Jiong Yang 002 (AAAI, 2025)

Efficient Certified Reasoning for Binarized Neural Networks. - Jiong Yang 002; Yong Kiam Tan; Mate Soos; Magnus O. Myreen; Kuldeep S. Meel (SAT, 2025)