3 papers
cs.LO2025
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…
cs.CY2024
Ensuring Fairness with Transparent Auditing of Quantitative Bias in AI Systems
Chih-Cheng Rex Yuan, Bow-Yaw Wang
With the rapid advancement of AI, there is a growing trend to integrate AI into decision-making processes. However, AI systems may exhibit biases that lead decision-makers to draw…