Scholar
Haohan Wang
Google Scholar ID: nZxJGeUAAAAJ
School of Information Sciences, University of Illinois Urbana-Champaign
Computational Biology
Agentic AI
AI4Science
AI security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
6,789
H-index
33
i10-index
57
Publications
20
Co-authors
18
list available
Publications
69 items
Let the Library Speak: Self-Advertised Method Selection for Formal Proving
2026
Cited
0
Harness Engineering for Software Engineering via Modular Executable Dev-Primitives
2026
Cited
0
Large-scale Repository Engineering via Agent-Native Reusable Code Primitives
2026
Cited
0
Objects Without Morphisms: What LLMs for Mathematics Do Not Represent
2026
Cited
0
From Knowledge Access to Source Learning: Developing Source-Specific Competence
2026
Cited
0
Composing Task-specific Agent Harnesses at Test Time with Reusable Primitives
2026
Cited
0
ANTMAN: Adaptive Need Tracking for Multi-Agent Navigation in Large Information Spaces
2026
Cited
0
STEVE: Stabilizing Textual Gradient-Based Prompt Optimization via Error-Driven Refinement and Regularized Verification
2026
Cited
0
Load more
Co-authors
14 total
Eric Xing
President at Mohamed bin Zayed University of AI, Professor of Computer Science, Carnegie Mellon U
Dong Huang
Senior Project Scientist, Carnegie Mellon University
Zachary C. Lipton
Raj Reddy Associate Professor of Machine Learning @ Carnegie Mellon; Cofounder & CTO @ Abridge
Bhiksha Raj
Carnegie Mellon University
Yong Jae Lee
Professor of Computer Sciences, UW-Madison
Louis-Philippe Morency
Associate professor, Carnegie Mellon University
Ben Lengerich
University of Wisconsin-Madison
Min Xu
Carnegie Mellon University
