Tianhao Wei

Joined

July 2019

Names

Tianhao Wei (Preferred)

Emails

****@gmail.com (Confirmed)

****@andrew.cmu.edu (Confirmed)

Personal Links

Google Scholar

DBLP

Career & Education History

PhD student

CMU, Carnegie Mellon University (andrew.cmu.edu)

2020 – 2024

Undergrad student

Zhejiang University (zju.edu.cn)

2015 – 2019

Advisors, Relations & Conflicts

PhD Advisor

Changliu Liu

2020 – 2024

Expertise

Neural network verification

Present

Safe Control

Present

Control barrier function

Present

Publications

Enhancing Certifiable Semantic Robustness via Robust Pruning of Deep Neural Networks
Hanjiang Hu, Bowei Li, Ziwei Wang, Tianhao Wei, Casidhe Hutchison, Eric Sample, Changliu Liu
- OpenReview Archive Direct Upload
- Readers: Everyone
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
Hanjiang Hu, Yujie Yang, Tianhao Wei, Changliu Liu
- CoRL 2024 Workshop SAFE-ROL Poster
- Readers: Everyone
Learn With Imagination: Safe Set Guided State-wise Constrained Policy Optimization
Feihan Li, Yifan Sun, Weiye Zhao, Rui Chen, Tianhao Wei, Changliu Liu
- ICLR 2025 Conference Desk Rejected Submission
- Readers: Everyone
Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills
Tianhao Wei, Liqian Ma, Rui Chen, Weiye Zhao, Changliu Liu
- CoRL 2024
- Readers: Everyone
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
Hanjiang Hu, Yujie Yang, Tianhao Wei, Changliu Liu
- CoRL 2024
- Readers: Everyone
NN4SysBench: Characterizing Neural Network Verification for Computer Systems
Shuyi Lin, Haoyu He, Tianhao Wei, Kaidi Xu, Huan Zhang, Gagandeep Singh, Changliu Liu, Cheng Tan
- NeurIPS 2024 Track Datasets and Benchmarks Poster
- Readers: Everyone
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
- Accepted by TMLR
- Readers: Everyone
Absolute Policy Optimization: Enhancing Lower Probability Bound of Performance with High Confidence
Weiye Zhao, Feihan Li, Yifan Sun, Rui Chen, Tianhao Wei, Changliu Liu
- ICML 2024 Poster
- Readers: Everyone
GUARD: A Safe Reinforcement Learning Benchmark
Weiye Zhao, Yifan Sun, Feihan Li, Rui Chen, Ruixuan Liu, Tianhao Wei, Changliu Liu
- Accepted by TMLR
- Readers: Everyone
State-wise Constrained Policy Optimization
Weiye Zhao, Rui Chen, Yifan Sun, Feihan Li, Tianhao Wei, Changliu Liu
- Accepted by TMLR
- Readers: Everyone

View all 32 publications

Co-Authors

View all 38 co-authors