Jiong Yang

According to our database, Jiong Yang authored at least 10 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Efficient Certified Reasoning for Binarized Neural Networks.

Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

Towards Real-Time Approximate Counting.

Yash Pote, Kuldeep S. Meel, Jiong Yang

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

Approximate Model Counting.

Yong Kiam Tan, Jiong Yang

Arch. Formal Proofs, 2024

Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving.

Jiong Yang, Yaroslav A. Kharkov, Yunong Shi, Marijn J. H. Heule, Bruno Dutertre

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

Formally Certified Approximate Model Counting.

Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Explaining SAT Solving Using Causal Reasoning.

Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

Rounding Meets Approximate Model Counting.

Jiong Yang, Kuldeep S. Meel

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Projected Model Counting: Beyond Independent Support.

Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Engineering an Efficient PB-XOR Solver.

Jiong Yang, Kuldeep S. Meel

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

Learning Formatting Style Transfer and Structure Extraction for Spreadsheet Tables with a Hybrid Neural Network Architecture.

Haoyu Dong, Jiong Yang, Shi Han, Dongmei Zhang

Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020