Jianglin Lan
5 papers
· 2022–2024
· 3 conferences
· across top CS/AI conferences
Achievements
π
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)