Wang, Peixin

4 publications

ICLR 2026 Neural Theorem Proving for Verification Conditions: A Real-World Benchmark Qiyuan Xu, Xiaokun Luan, Renxi Wang, Joshua Ong Jun Leang, Peixin Wang, Haonan Li, Wenda Li, Conrad Watt

ICLRW 2025 Verifying Omega-Regular Properties of Neural Network-Controlled Systems via Proof Certificates Peixin Wang, Jianhao Bai, Dapeng Zhi, Min Zhang, Luke Ong

AAAI 2024 Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang

NeurIPS 2023 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