Jianglin Lan
5 papers · 2022–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(3)
🌉
Interdisciplinary Bridge
🗺️
Taxonomy Completionist
(11)
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(14)
Conferences
AAAI (3)
ACML (1)
L4DC (1)
Top co-authors
Keywords
semidefinite programming
(3)
neural network verification
(3)
relu neural network
(2)
model robustness
(1)
explainable ai
(1)
neural network interpretability
(1)
real-time optimization
(1)
robustness certification
(1)
counterfactual explanation
(1)
robustness verification
(1)
safe control
(1)
control synthesis
(1)
semidefinite relaxation
(1)
reformulation-linearisation technique
(1)
neural network dynamic model
(1)
bernstein over-approximation
(1)
linear reformulation
(1)
relaxation gap
(1)
robust optimization
(1)
eigenvector constraint
(1)
Papers
Real-time safe control of neural network dynamic models with sound approximation
L4DC 2024
Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification
AAAI 2023
A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification
AAAI 2023
Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation
ACML 2023
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations
AAAI 2022