84 citations · 136 across the 17 of their papers we have counts for
3 papers · 1 filter
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…
CRISP: Curriculum based Sequential Neural Decoders for Polar Code Family
S Ashwin Hebbar, Viraj Nadkarni, Ashok Vardhan Makkuva +3
Polar codes are widely used state-of-the-art codes for reliable communication that have recently been included in the 5th generation wireless standards (5G). However, there remains…