Zhao, Haoruo

2 publications

ICML 2024 Compact Optimality Verification for Optimization Proxies Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck

JAIR 2020 Modular Structures and Atomic Decomposition in Ontologies Chiara Del Vescovo, Matthew Horridge, Bijan Parsia, Uli Sattler, Thomas Schneider, Haoruo Zhao