Tianhao Wei
9 papers · 2018–2026 · 7 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π Interdisciplinary Bridge π Conference Polyglot (6) π Academic Marathon (7) π Cross-Pollinator (8) π£ Hot Topic Early Bird
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(14)
π§
Keyword Pioneer
π₯
Unstoppable
(5)
Conferences
CORL (2)
L4DC (2)
AAAI (1)
CVPR (1)
ICML (1)
IJCAI (1)
NIPS (1)
Top co-authors
Research topics
Keywords
neural network verification
(2)
safe control
(2)
formal verification
(2)
markov decision process
(1)
value function
(1)
constraint satisfaction
(1)
mixed integer programming
(1)
optical flow
(1)
feature encoding
(1)
safe reinforcement learning
(1)
convolutional neural network
(1)
hamilton-jacobi reachability
(1)
safety property
(1)
temporal coherence
(1)
barrier function
(1)
safety-critical system
(1)
video salient object detection
(1)
feature evolution
(1)
computer system
(1)
neural network dynamic model
(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
Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills
CORL 2024
NN4SysBench: Characterizing Neural Network Verification for Computer Systems
NIPS 2024
Absolute Policy Optimization: Enhancing Lower Probability Bound of Performance with High Confidence
ICML 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