Tianhao Wei
9 papers · 2018–2026 · 7 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 ↓+3 more ↓ Show less ↑
π£ Hot Topic Early Bird π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (19) π Conference Polyglot Β· Silver
π₯
Unstoppable Β· Bronze
π
Renaissance Researcher
(5)
π
Trend Setter
Top co-authors
Research topics
Artificial Intelligence
(7)
Core AI
(7)
Machine Learning
(5)
Optimization & Theory Β· Machine Learning
(5)
Reinforcement Learning
(4)
Methods
(4)
Deep Learning
(3)
Architectures
(3)
Applications Β· Reinforcement Learning
(2)
Computer Science
(1)
Computer Vision
(1)
Robotics
(1)
Analysis
(1)
Applications Β· Computer Science
(1)
Optimization & Theory Β· Deep Learning
(1)
Keywords
neural network verification
(2)
state-wise constraint
(2)
safe control
(2)
safe reinforcement learning
(2)
formal verification
(2)
value function
(1)
markov decision process
(1)
autonomous driving
(1)
worst-case performance
(1)
temporal coherence
(1)
optical flow
(1)
feature encoding
(1)
mixed integer programming
(1)
convolutional neural network
(1)
trust region
(1)
constraint satisfaction
(1)
hamilton-jacobi reachability
(1)
safety property
(1)
continuous control
(1)
adversarial training
(1)
Papers
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint)
AAAI 2026
Learn With Imagination: Safe Set Guided State-wise Constrained Policy Optimization
L4DC 2025
Absolute Policy Optimization: Enhancing Lower Probability Bound of Performance with High Confidence
ICML 2024
Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills
CoRL 2024
NN4SysBench: Characterizing Neural Network Verification for Computer Systems
NeurIPS 2024
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
CoRL 2024
State-wise Safe Reinforcement Learning: A Survey
IJCAI 2023
Safe Control with Neural Network Dynamic Models
L4DC 2022
Flow Guided Recurrent Neural Encoder for Video Salient Object Detection
CVPR 2018