Qin, Zhizhen

3 publications

NeurIPS 2024 SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions Hongchao Zhang, Zhizhen Qin, Sicun Gao, Andrew Clark

AAAI 2024 Sample-and-Bound for Non-Convex Optimization Yaoguang Zhai, Zhizhen Qin, Sicun Gao

NeurIPS 2022 Policy Optimization with Advantage Regularization for Long-Term Fairness in Decision Systems Eric Yu, Zhizhen Qin, Min Kyung Lee, Sicun Gao