2 papers
cs.LO2026
SAT-Solving the Poset Cover Problem
Chih-Cheng Rex Yuan, Bow-Yaw Wang
The poset cover problem seeks a minimum set of partial orders whose linear extensions cover a given set of linear orders. Recognizing its NP-completeness, we devised a non-trivial…
cs.CY2025
Quantitative Auditing of AI Fairness with Differentially Private Synthetic Data
Chih-Cheng Rex Yuan, Bow-Yaw Wang
Fairness auditing of AI systems can identify and quantify biases. However, traditional auditing using real-world data raises security and privacy concerns. It exposes auditors to s…