Stochastic Alternating Direction Method of Multipliers for Byzantine-Robust Distributed Learning

Authors: Feng Lin, Weiyu Li, Qing Ling | Published: 2021-06-13

Verifying Quantized Neural Networks using SMT-Based Model Checking

Authors: Luiz Sena, Xidan Song, Erickson Alves, Iury Bessa, Edoardo Manino, Lucas Cordeiro, Eddie de Lima Filho | Published: 2021-06-10 | Updated: 2021-09-16

AI-enabled Automation for Completeness Checking of Privacy Policies

Authors: Orlando Amaral, Sallam Abualhaija, Damiano Torre, Mehrdad Sabetzadeh, Lionel C. Briand | Published: 2021-06-10 | Updated: 2021-10-05

Bayesian Attention Belief Networks

Authors: Shujian Zhang, Xinjie Fan, Bo Chen, Mingyuan Zhou | Published: 2021-06-09

Adaptive Machine Unlearning

Authors: Varun Gupta, Christopher Jung, Seth Neel, Aaron Roth, Saeed Sharifi-Malvajerdi, Chris Waites | Published: 2021-06-08

Reinforced Few-Shot Acquisition Function Learning for Bayesian Optimization

Authors: Bing-Jing Hsieh, Ping-Chun Hsieh, Xi Liu | Published: 2021-06-08

Formalizing Distribution Inference Risks

Authors: Anshuman Suri, David Evans | Published: 2021-06-07 | Updated: 2021-09-24

Antipodes of Label Differential Privacy: PATE and ALIBI

Authors: Mani Malek, Ilya Mironov, Karthik Prasad, Igor Shilov, Florian Tramèr | Published: 2021-06-07 | Updated: 2021-10-29

Information Theoretic Evaluation of Privacy-Leakage, Interpretability, and Transferability for Trustworthy AI

Authors: Mohit Kumar, Bernhard A. Moser, Lukas Fischer, Bernhard Freudenthaler | Published: 2021-06-06 | Updated: 2022-04-12

Robust Stochastic Linear Contextual Bandits Under Adversarial Attacks

Authors: Qin Ding, Cho-Jui Hsieh, James Sharpnack | Published: 2021-06-05 | Updated: 2023-01-30