Haoruo Zhao - RankMe

14 papers A* 1B 2Journal 7Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Code vs Serialized AST Inputs for LLM-Based Code Summarization: An Empirical Study. CoRR Shijia Dong, Haoruo Zhao, Paul Harvey
2025	J	`jnl`	CSI-4CAST: A Hybrid Deep Learning Model for CSI Prediction with Comprehensive Robustness and Generalization Testing. CoRR Sikai Cheng, Reza Zandehshahvar, Haoruo Zhao, Daniel A. Garcia-Ulloa, Alejandro Villena-Rodriguez, Carles Navarro Manchón, Pascal Van Hentenryck
2025	B	`conf`	Co-Adaptation in Human-Robot Training Scenarios. RO-MAN Emilia Pietras, Bernd Kiefer, Stephanie Hall, Mandeep Dhanda, Haoruo Zhao, Vimal Dhokia, Guglielmo Borzone, Norbert Krüger, Leon Bodenhagen
2025	J	`jnl`	DualSchool: How Reliable are LLMs for Optimization Education? CoRR Michael Klamkin, Arnaud Deza, Sikai Cheng, Haoruo Zhao, Pascal Van Hentenryck
2024	—	`conf`	Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification. CPAIOR (2) Haoruo Zhao, Hassan L. Hijazi, Haydn Thomas Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck
2024	A*	`conf`	Compact Optimality Verification for Optimization Proxies. ICML Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck
2024	J	`jnl`	Compact Optimality Verification for Optimization Proxies. CoRR Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck
2022	J	`jnl`	Just-In-Time Learning for Operational Risk Assessment in Power Grids. CoRR Oliver Stover, Pranav Karve, Sankaran Mahadevan, Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck
2022	—	`conf`	Next Steps for ReAD: Modules for Classification Optimisation. Description Logics Haoruo Zhao, Bijan Parsia, Uli Sattler
2022	J	`jnl`	Risk-Aware Control and Optimization for High-Renewable Power Grids. CoRR 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
2021	B	`conf`	ReAD: AD-Based Modular Ontology Classification. JELIA Haoruo Zhao, Bijan Parsia, Uli Sattler
2020	J	`jnl`	Modular Structures and Atomic Decomposition in Ontologies. J. Artif. Intell. Res. Chiara Del Vescovo, Matthew Horridge, Bijan Parsia, Uli Sattler, Thomas Schneider, Haoruo Zhao
2020	—	`conf`	ReAD: Delegate OWL Reasoners for Ontology Classification with Atomic Decomposition. JOWO Haoruo Zhao, Bijan Parsia, Uli Sattler
2019	—	`conf`	Avoiding Subsumption Tests During Classification Using the Atomic Decomposition. Description Logics Haoruo Zhao, Uli Sattler, Bijan Parsia