Elamur Research⌕
☰
home / authors / Hang Wu

Hang Wu

Hang Wu has 2 papers in our library, in 2025, most of them on Reasoning; often with Chang Liu, Chenguang Xi, Feng Chen.

2 papers in our library · 2025

OpenAlex · ORCID · h-index 15 · 66 works · 1,020 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 54 times in our library · ⭐ Paper Stars ranking: #9496

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🏥First Affiliated Hospital of Hunan University of Traditional Chinese MedicineChangsha · China2023–2026 · 6 paperscurrent🎓Hunan Normal UniversityChangsha · China2023–2026 · 5 paperscurrent🏛️Chinese Academy of SciencesBeijing · China2026 · 1 papercurrent🏥Ruijin HospitalShanghai · China2026 · 1 papercurrent🔬Shanghai Institute of Materia MedicaPudong · China2026 · 1 papercurrent🎓Shanghai Jiao Tong UniversityShanghai · China2026 · 1 papercurrent🏥Changhai HospitalShanghai · China2022–2024 · 7 papers🎓Henan UniversityKaifeng · China2021–2023 · 7 papers🏥Henan University Huaihe Hospital and Huaihe Clinical InstituteKaifeng · China2021–2023 · 7 papers🎓Second Military Medical UniversityShanghai · China2022–2024 · 6 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 23 more institutions on single bylines are not listed.

 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📚 Shelves 7The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 1 workComputational Theory and Mathematics · 1 workEngineering · 1 workComputer Vision and Pattern Recognition · 1 workControl and Systems Engineering · 1 workSoftware · 1 work

🧭 Topics 1Research subjects and languages the work is about.Reasoning · 2 works

 Works by year

2020s

20252 papers

 Papers

The most cited first (OpenAlex and our library).

  1. BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving (2025 · 49 citations)
    Proof search in Lean4 involves a huge space of possible tactics, so automated provers have mostly relied on MCTS and learned value (critic) models.
  2. DiMo-GUI: Advancing Test-time Scaling in GUI Grounding via Modality-Aware Visual Reasoning (2025 · 8 citations)
    Locating the on-screen element that a natural-language command refers to (GUI grounding) is difficult. High-resolution screenshots are crowded with distractors, and vision-language models tend to favour visible text over icons, even when an icon is the real target. DiMo-GUI is a training-free, plug-and-play inference…

 Co-authors here

12 co-authors with a page, the most papers together first.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 Cited by

Papers of our library cite their works 54 times (of the 149,439 papers whose bibliographies we read); 28 citing papers with a page here →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/hang-wu/