Zhilu Wang
3 papers · 2023–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Cross-Pollinator
(13)
πΊοΈ
Taxonomy Completionist
(11)
Conferences
AAAI (1)
ICML (1)
IJCAI (1)
Top co-authors
Keywords
global robustness
(2)
convex optimization
(1)
uncertainty quantification
(1)
constrained markov decision process
(1)
safe reinforcement learning
(1)
generative model
(1)
robustness certification
(1)
bi-level optimization
(1)
chance constraint
(1)
activation function
(1)
neural network robustness
(1)
barrier function
(1)
relu network
(1)
individual fairness
(1)
relu neural network
(1)
neural network repair
(1)
stochastic environment
(1)
adversarial robustness
(1)
neural network
(1)
Papers
REGLO: Provable Neural Network Repair for Global Robustness Properties
AAAI 2024
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments
ICML 2023
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract)
IJCAI 2023