Paper Group ANR 163
January 31, 2020
Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology. Fast Neural Network Verification via Shadow Prices. Face Recognition System. Component Mismatches Are a Critical Bottleneck to Fielding AI-Enabled Systems in the Public Sector. Adversarial Examples for Electrocardiograms. …