Haoruo Zhao

According to our database, Haoruo Zhao authored at least 9 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Compact Optimality Verification for Optimization Proxies.

Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification.

Haoruo Zhao, Hassan L. Hijazi, Haydn Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

2022

Just-In-Time Learning for Operational Risk Assessment in Power Grids.

Oliver Stover, Pranav Karve, Sankaran Mahadevan, Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck

CoRR, 2022

Risk-Aware Control and Optimization for High-Renewable Power Grids.

Neil Barry, Minas Chatzos, Wenbo Chen, Dahye Han, Chaofan Huang, Roshan Joseph, Michael Klamkin, Seonho Park, Mathieu Tanneau, Pascal Van Hentenryck, Shangkun Wang, Hanyu Zhang, Haoruo Zhao

CoRR, 2022

Next Steps for ReAD: Modules for Classification Optimisation.

Haoruo Zhao, Bijan Parsia, Uli Sattler

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

ReAD: AD-Based Modular Ontology Classification.

Haoruo Zhao, Bijan Parsia, Uli Sattler

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

2020

Modular Structures and Atomic Decomposition in Ontologies.

Chiara Del Vescovo, Matthew Horridge, Bijan Parsia, Uli Sattler, Thomas Schneider, Haoruo Zhao

J. Artif. Intell. Res., 2020

ReAD: Delegate OWL Reasoners for Ontology Classification with Atomic Decomposition.

Haoruo Zhao, Bijan Parsia, Uli Sattler

Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), 2020

2019

Avoiding Subsumption Tests During Classification Using the Atomic Decomposition.

Haoruo Zhao, Uli Sattler, Bijan Parsia

Proceedings of the 32nd International Workshop on Description Logics, 2019