84 citations · 131 across the 13 of their papers we have counts for
19 papers
Zonotope Domains for Lagrangian Neural Network Verification
Matt Jordan, Jonathan Hayase, Alexandros G. Dimakis +1
Neural network verification aims to provide provable bounds for the output of a neural network for a given input range. Notable prior works in this domain have either generated bou…
Few-shot Backdoor Attacks via Neural Tangent Kernels
Jonathan Hayase, Sewoong Oh
In a backdoor attack, an attacker injects corrupted examples into the training set. The goal of the attacker is to cause the final trained model to predict the attacker's desired t…
KO codes: Inventing Nonlinear Encoding and Decoding for Reliable Wireless Communication via Deep-learning
Ashok Vardhan Makkuva, Xiyang Liu, Mohammad Vahid Jamali +3
Landmark codes underpin reliable physical layer communication, e.g., Reed-Muller, BCH, Convolution, Turbo, LDPC and Polar codes: each is a linear code and represents a mathematical…
Sample Efficient Linear Meta-Learning by Alternating Minimization
Kiran Koshy Thekumparampil, Prateek Jain, Praneeth Netrapalli +1
Meta-learning synthesizes and leverages the knowledge from a given set of tasks to rapidly learn new tasks using very little data. Meta-learning of linear regression tasks, where t…
SPECTRE: Defending Against Backdoor Attacks Using Robust Statistics
Jonathan Hayase, Weihao Kong, Raghav Somani +1
Modern machine learning increasingly requires training on a large collection of data from multiple sources, not all of which can be trusted. A particularly concerning scenario is w…
Efficient Algorithms for Federated Saddle Point Optimization
Charlie Hou, Kiran K. Thekumparampil, Giulia Fanti +1
We consider strongly convex-concave minimax problems in the federated setting, where the communication constraint is the main bottleneck. When clients are arbitrarily heterogeneous…