Zeng, Xia

2 publications

CVPR 2025 Automated Proof of Polynomial Inequalities via Reinforcement Learning Banglong Liu, Niuniu Qi, Xia Zeng, Lydia Dehbi, Zhengfeng Yang

AAAI 2023 Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu