Jiong Yang

16 papers A* 1A 5B 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A conf
Efficient Certified Reasoning for Binarized Neural Networks.
SAT
Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
2025 J jnl
Efficient Certified Reasoning for Binarized Neural Networks.
CoRR
Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
2025 J jnl
Rounding meets approximate model counting.
Formal Methods Syst. Des.
Jiong Yang, Kuldeep S. Meel
2025 A* conf
Towards Real-Time Approximate Counting.
AAAI
Yash Pote, Kuldeep S. Meel, Jiong Yang
2024 J jnl
Approximate Model Counting.
Arch. Formal Proofs
Yong Kiam Tan, Jiong Yang
2024 — conf
Formally Certified Approximate Model Counting.
CAV (1)
Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
2024 J jnl
Formally Certified Approximate Model Counting.
CoRR
Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
2024 A conf
Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving.
SAT
Jiong Yang, Yaroslav A. Kharkov, Yunong Shi, Marijn J. H. Heule, Bruno Dutertre
2023 A conf
Explaining SAT Solving Using Causal Reasoning.
SAT
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
2023 J jnl
Explaining SAT Solving Using Causal Reasoning.
CoRR
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
2023 — conf
Rounding Meets Approximate Model Counting.
CAV (2)
Jiong Yang, Kuldeep S. Meel
2023 J jnl
Rounding Meets Approximate Model Counting.
CoRR
Jiong Yang, Kuldeep S. Meel
2022 B conf
Projected Model Counting: Beyond Independent Support.
ATVA
Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
2021 A conf
Engineering an Efficient PB-XOR Solver.
CP
Jiong Yang, Kuldeep S. Meel
2021 J jnl
Projected Model Counting: Beyond Independent Support.
CoRR
Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
2020 A conf
Learning Formatting Style Transfer and Structure Extraction for Spreadsheet Tables with a Hybrid Neural Network Architecture.
CIKM
Haoyu Dong, Jiong Yang, Shi Han, Dongmei Zhang