Lan, Jianglin

6 publications

NeurIPS 2025 HOI-Dyn: Learning Interaction Dynamics for Human-Object Motion Diffusion Lin Wu, Zhixiang Chen, Jianglin Lan

L4DC 2024 Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation Hanjiang Hu, Jianglin Lan, Changliu Liu

AAAI 2023 A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification Jianglin Lan, Benedikt Brückner, Alessio Lomuscio

AAAI 2023 Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification Jianglin Lan, Yang Zheng, Alessio Lomuscio

ACML 2023 Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation Junqi Jiang, Jianglin Lan, Francesco Leofante, Antonio Rago, Francesca Toni

AAAI 2022 Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations Jianglin Lan, Yang Zheng, Alessio Lomuscio