🧑🔬 Hang Wu — papers of 2025 — 2 papers, the most cited first2 papers · all years of Hang WuBFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem ProvingAnnual Meeting of the Association for Computational Linguistics (ACL)Ran Xin, Chenguang Xi, Jie Yang, et al.2025 · 49 citationsDiMo-GUI: Advancing Test-time Scaling in GUI Grounding via Modality-Aware Visual ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Hang Wu, Hongkai Chen, Yujun Cai, et al.2025 · 8 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/hang-wu/year/2025/