Jiaxu Tian

Joined

April 2023

Names

Jiaxu Tian (Preferred)

Emails

****@stu.ecnu.edu.cn (Confirmed)

Personal Links

Career & Education History

MS student

East China Normal University (ecnu.edu.cn)

2021 – 2024

Undergrad student

East China Normal University (ecnu.edu.cn)

2017 – 2021

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks
Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Cheng Chen, Min Zhang
- NeurIPS 2023 poster
- Readers: Everyone
Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning
Peng Jin, Jiaxu Tian, Dapeng Zhi, Xuejun Wen, Min Zhang
- Published: 01 Jan 2022, Last Modified: 12 May 2023
- CAV (1) 2022
- Readers: Everyone

Co-Authors