Wei, Tianhao

11 publications

L4DC 2025 Learn with Imagination: Safe Set Guided State-Wise Constrained Policy Optimization Yifan Sun, Feihan Li, Weiye Zhao, Rui Chen, Tianhao Wei, Changliu Liu

JAIR 2025 Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis Yujie Yang, Hanjiang Hu, Tianhao Wei, Shengbo Eben Li, Changliu Liu

ICML 2024 Absolute Policy Optimization: Enhancing Lower Probability Bound of Performance with High Confidence Weiye Zhao, Feihan Li, Yifan Sun, Rui Chen, Tianhao Wei, Changliu Liu

TMLR 2024 GUARD: A Safe Reinforcement Learning Benchmark Weiye Zhao, Yifan Sun, Feihan Li, Rui Chen, Ruixuan Liu, Tianhao Wei, Changliu Liu

TMLR 2024 Improve Certified Training with Signal-to-Noise Ratio Loss to Decrease Neuron Variance and Increase Neuron Stability Tianhao Wei, Ziwei Wang, Peizhi Niu, Abulikemu Abuduweili, Weiye Zhao, Casidhe Hutchison, Eric Sample, Changliu Liu

CoRL 2024 Meta-Control: Automatic Model-Based Control Synthesis for Heterogeneous Robot Skills Tianhao Wei, Liqian Ma, Rui Chen, Weiye Zhao, Changliu Liu

NeurIPS 2024 NN4SysBench: Characterizing Neural Network Verification for Computer Systems Shuyi Lin, Haoyu He, Tianhao Wei, Kaidi Xu, Huan Zhang, Gagandeep Singh, Changliu Liu, Cheng Tan

TMLR 2024 State-Wise Constrained Policy Optimization Weiye Zhao, Rui Chen, Yifan Sun, Feihan Li, Tianhao Wei, Changliu Liu

CoRL 2024 Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation Hanjiang Hu, Yujie Yang, Tianhao Wei, Changliu Liu

IJCAI 2023 State-Wise Safe Reinforcement Learning: A Survey Weiye Zhao, Tairan He, Rui Chen, Tianhao Wei, Changliu Liu

L4DC 2022 Safe Control with Neural Network Dynamic Models Tianhao Wei, Changliu Liu