Haoruo Zhao
- Compact Optimality Verification for Optimization Proxies
2024/05/31 by Wenbo Chen, Chen, Wenbo, Haoruo Zhao +5 · 3 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #Artificial Intelligence (cs.AI) #Embedded Systems Design Techniques #FOS: Computer and information sciences #FOS: Mathematics #Optimization and Control (math.OC)
- Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification
2024/01/10 by Haoruo Zhao, Hassan Hijazi, Zhao, Haoruo +9 · 1 citation
Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Mathematics #Optimization and Control (math.OC)
- A Linear Outer Approximation of Line Losses for DC-based Optimal Power Flow Problems
2021/12/21 by Haoruo Zhao, Zhao, Haoruo, Mathieu Tanneau +3 · 1 citation
Engineering · #Electric Power System Optimization #Optimal Power Flow Distribution #Energy Load and Power Forecasting
- Just-In-Time Learning for Operational Risk Assessment in Power Grids
2022/09/26 by Oliver Stover, Pranav Karve, Stover, Oliver +11 · 1 citation
Engineering · #Electric Power System Optimization #Energy Load and Power Forecasting #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Power System Reliability and Maintenance #Systems and Control (eess.SY) #electronic engineering #information engineering
- DualSchool: How Reliable are LLMs for Optimization Education?
2025/05/27 by Michael Klamkin, Klamkin, Michael, Arnaud Deza +7 · 1 voice · 2 citations
#cs.LG #cs.AI #math.OC