Lily Weng
8 papers · 2018–2023 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (20) π§ Keyword Pioneer π£ Hot Topic Early Bird π Conference Polyglot (4) π Academic Marathon (5)
π
Cross-Pollinator
(11)
π
Interdisciplinary Bridge
π§¬
Topic Evolution
π₯
Unstoppable
(6)
Conferences
ICML (5)
AAAI (1)
AISTATS (1)
NIPS (1)
Top co-authors
Keywords
adversarial robustness
(4)
neural network
(3)
neural network verification
(2)
adversarial attack
(2)
adversarial perturbation
(2)
formal verification
(1)
neural architecture search
(1)
robust optimization
(1)
neural network robustness
(1)
generalization bound
(1)
recurrent neural network
(1)
randomized smoothing
(1)
adversarial defense
(1)
neighborhood component analysis
(1)
decision boundary
(1)
gradient flow
(1)
linear programming
(1)
robust control
(1)
certified robustness
(1)
contrastive learning
(1)
Papers
Analyzing Generalization of Neural Networks through Loss Path Kernels
NIPS 2023
Revisiting Contrastive Learning through the Lens of Neighborhood Component Analysis: an Integrated Framework
ICML 2022
Hidden Cost of Randomized Smoothing
AISTATS 2021
Fast Training of Provably Robust Neural Networks by SingleProp
AAAI 2021
Neural Network Control Policy Verification With Persistent Adversarial Perturbation
ICML 2020
POPQORN: Quantifying Robustness of Recurrent Neural Networks
ICML 2019
PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach
ICML 2019
Towards Fast Computation of Certified Robustness for ReLU Networks
ICML 2018