115 citations · 262 across the 51 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.LG2023★ 1 cited
Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework
Simiao Zhang, Jitao Bai, Menghong Guan +4
Machine learning is widely used to make decisions with societal impact such as bank loan approving, criminal sentencing, and resume filtering. How to ensure its fairness while main…
cs.SE2023
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain
Jincao Feng, Weikai Miao, Hanyue Zheng +8
Formal methods are promising for modeling and analyzing system requirements. However, applying formal methods to large-scale industrial projects is a remaining challenge. The indus…
cs.CV2023
Architecture-agnostic Iterative Black-box Certified Defense against Adversarial Patches
Di Yang, Yihao Huang, Qing Guo +4
The adversarial patch attack aims to fool image classifiers within a bounded, contiguous region of arbitrary changes, posing a real threat to computer vision systems (e.g., autonom…