Jianglin Lan

5 papers · 2022–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 (13) 📈 Trend Setter

Venues

AAAI (3) ACML (1) L4DC (1)

Top co-authors

Alessio Lomuscio (3) Yang Zheng (2) Benedikt Brückner (1) Francesca Toni (1) Changliu Liu (1) Antonio Rago (1) Junqi Jiang (1) Hanjiang Hu (1) Francesco Leofante (1)

Research topics

Machine Learning (5) Optimization & Theory · Machine Learning (5) Artificial Intelligence (4) Core AI (4) Deep Learning (3) Techniques (2) Mathematics & Optimization (1) Application Areas (1) Architectures (1) Optimization (1) Optimization & Theory · Deep Learning (1)

Keywords

neural network verification (3) semidefinite programming (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) neural network classifier (1) robustness verification (1) robustness guarantee (1) safe control (1) model parameter (1) control synthesis (1) semidefinite relaxation (1) reformulation-linearisation technique (1) neural network dynamic model (1) bernstein over-approximation (1) linear reformulation (1)

Papers

Real-time safe control of neural network dynamic models with sound approximation L4DC 2024 A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification AAAI 2023 Iteratively Enhanced Semidefinite Relaxations for Efficient 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