Zhilu Wang
3 papers · 2023–2024 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(11)
🏆
Keyword Champion
(2)
Top co-authors
Research topics
Keywords
global robustness
(2)
convex optimization
(1)
uncertainty quantification
(1)
constrained markov decision process
(1)
bilevel optimization
(1)
safe reinforcement learning
(1)
generative model
(1)
robustness certification
(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
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract)
IJCAI 2023
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments
ICML 2023