Xue Bai

1. Reach-Avoid Analysis for Polynomial Stochastic Differential Equations
   2022/08/23 by Xue Bai, Xue, Bai, Naijun Zhan +3 · 4 citations
   Computer Science · Decision Sciences · #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Probabilistic and Robust Engineering Design #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Reach-avoid Verification Based on Convex Optimization
   2022/08/17 by Xue Bai, Xue, Bai, Naijun Zhan +7 · 2 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #Extremum Seeking Control Systems #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Klear-Reasoner: Advancing Reasoning Capability via Gradient-Preserving Clipping Policy Optimization
   2025/08/11 by Zhenpeng Su, Su, Zhenpeng, Leiyu Pan +16 · 12 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification #Reinforcement Learning in Robotics
4. PAC Model Checking of Black-Box Continuous-Time Dynamical Systems
   2020/07/17 by Xue Bai, Xue, Bai, Miaomiao Zhang +5 · 2 citations
   Computer Science · #Formal Methods in Verification #Machine Learning and Algorithms #Software Reliability and Analysis Research
5. Model Predictive Control with Reach-avoid Analysis
   2023/05/15 by Dejin Ren, Wanli Lu, Ren, Dejin +7 · 1 citation
   Engineering · Biochemistry, Genetics and Molecular Biology · #Advanced Control Systems Optimization #Microbial Metabolic Engineering and Bioproduction #Fault Detection and Control Systems
6. Repairing Deep Neural Networks Based on Behavior Imitation
   2023/05/05 by Zhen Liang, Taoran Wu, Liang, Zhen +11 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #Advanced Neural Network Applications #Machine Learning and Data Classification
7. MaskMoE: Boosting Token-Level Learning via Routing Mask in Mixture-of-Experts
   2024/07/13 by Zhenpeng Su, Zijia Lin, Su, Zhenpeng +19 · 1 citation
   Computer Science · #Computation and Language (cs.CL) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Machine Learning and Algorithms #Machine Learning and Data Classification