---
title: "Haitao Mi — all works — Elamur Research"
description: "All 28 works of Haitao Mi in the Elamur Research library, the most cited first: our summaries where we have them, else the original."
canonical: "https://research.elamur.ai/free/en/authors/haitao-mi/works/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/haitao-mi/works/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Haitao Mi](https://md.research.elamur.ai/free/en/authors/haitao-mi/) / all works

# Haitao Mi — all works

28 works · [← Haitao Mi](https://md.research.elamur.ai/free/en/authors/haitao-mi/)

1. [**Forest-Based Translation**Haitao Mi, Liang Huang, Qun Liu*Machine translation · 252 citations*](https://md.research.elamur.ai/free/en/papers/mi-2008-forest-based-translation/)
2. **[Coverage Embedding Models for Neural Machine Translation ↗](https://aclanthology.org/D16-1096/) Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing · no summary yet**Haitao Mi et al.*2016 · 198 citations*
3. **[Supervised Attentions for Neural Machine Translation](https://md.research.elamur.ai/free/en/papers/mi-2016-supervised-attentions-neural-machine-translation/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Haitao Mi, Zhiguo Wang, Abe Ittycheriah*2016 · 183 citations*
4. **[Forest-based Translation Rule Extraction](https://md.research.elamur.ai/free/en/papers/mi-2008-forest-based-translation-rule-extraction/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Haitao Mi, Liang Huang*2008 · 178 citations*
5. [**Scaling Synthetic Data Creation with 1,000,000,000 Personas arXiv:2406.20094**Tao Ge, Xin Chan, Xiaoyang Wang, et al.*2024 · 171 citations*](https://md.research.elamur.ai/free/en/papers/ge-2024-scaling-synthetic-data-creation-1/)
6. **[Vocabulary Manipulation for Neural Machine Translation ↗](https://aclanthology.org/P16-2021/) Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers) · no summary yet**Haitao Mi, Zhiguo Wang, Abe Ittycheriah*2016 · 87 citations*
7. **[A novel dependency-to-string model for statistical machine translation ↗](https://aclanthology.org/D11-1020/) Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing · no summary yet**Jun Xie, Haitao Mi, Qun Liu*2011 · 85 citations*
8. **[DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning ↗](https://arxiv.org/abs/2504.11456) arXiv:2504.11456 · no summary yet**Zhiwei He et al.*2025 · 78 citations*
9. **[Self-Alignment for Factuality: Mitigating Hallucinations in LLMs via Self-Evaluation](https://md.research.elamur.ai/free/en/papers/zhang-2024-self-alignment-factuality-mitigating-hallucinations/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Xiaoying Zhang, Baolin Peng, Ye Tian, et al.*2024 · 69 citations*
10. **[Efficient Incremental Decoding for Tree-to-String Translation ↗](https://aclanthology.org/D10-1027/) Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing · no summary yet**Liang Huang, Haitao Mi*2010 · 65 citations*
11. **[Semi-supervised Clustering for Short Text via Deep Representation Learning ↗](https://aclanthology.org/K16-1004/) Proceedings of the 20th SIGNLL Conference on Computational Natural Language Learning · no summary yet**Zhiguo Wang, Haitao Mi, Abraham Ittycheriah*2016 · 63 citations*
12. **[Thoughts Are All Over the Place: On the Underthinking of o1-Like LLMs ↗](https://arxiv.org/abs/2501.18585) arXiv:2501.18585 · no summary yet**Yue Wang; Qiuzhi Liu; Jiahao Xu; Tian Liang; Xingyu Chen; Zhiwei He; Linfeng Song; Dian Yu; Juntao Li; Zhuosheng Zhang; Rui Wang; Zhaopeng Tu; Haitao Mi;, Dong Yu*2025 · 60 citations*
13. [**HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving arXiv:2412.20735**Yang Li, Dong Du, Linfeng Song, et al.*2024 · 25 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-hunyuanprover-scalable-data-synthesis/)
14. **[Rule Markov Models for Fast Tree-to-String Translation ↗](https://aclanthology.org/P11-1086/) Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies · no summary yet**Ashish Vaswani et al.*2011 · 21 citations*
15. **[Constituency to Dependency Translation with Forests ↗](https://aclanthology.org/P10-1145/) Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics · no summary yet**Haitao Mi, Qun Liu*2010 · 20 citations*
16. **[Sub-Sentence Division for Tree-Based Machine Translation ↗](https://aclanthology.org/P09-2035/) Proceedings of the ACL-IJCNLP 2009 Conference Short Papers · no summary yet**Hao Xiong et al.*2009 · 16 citations*
17. **[Flexible and Efficient Hypergraph Interactions for Joint Hierarchical and Forest-to-String Decoding ↗](https://aclanthology.org/D13-1052/) Proceedings of the 2013 Conference on Empirical Methods in Natural Language Processing · no summary yet**Martin Čmejrek, Haitao Mi, Bowen Zhou*2013 · 12 citations*
18. **[WebEvolver: Enhancing Web Agent Self-Improvement with Co-evolving World Model](https://md.research.elamur.ai/free/en/papers/fang-2025-webevolver-enhancing-web-agent-self/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Tianqing Fang, Hongming Zhang, Zhisong Zhang, et al.*2025 · 11 citations*
19. [**The Trickle-down Impact of Reward (In-)consistency on RLHF arXiv:2309.16155**Lingfeng Shen, Sihao Chen, Linfeng Song, et al.*2023 · 11 citations*](https://md.research.elamur.ai/free/en/papers/shen-2023-trickle-down-impact-reward-consistency/)
20. [**SIaM: Self-Improving Code-Assisted Mathematical Reasoning of Large Language Models arXiv:2408.15565**Dian Yu, Baolin Peng, Ye Tian, et al.*2024 · 8 citations*](https://md.research.elamur.ai/free/en/papers/yu-2024-siam-self-improving-code-assisted/)
21. **[Inference-Time Scaling of Verification: Self-Evolving Deep Research Agents via Test-Time Rubric-Guided Verification](https://md.research.elamur.ai/free/en/papers/wan-2026-inference-time-scaling-verification-self/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yuxuan Wan, Tianqing Fang, Zaitang LI, et al.*2026 · 4 citations*
22. **[MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation ↗](https://arxiv.org/abs/2505.10962) arXiv:2505.10962 · no summary yet**Zhenwen Liang et al.*2025 · 4 citations*
23. **[Dependency-Based Bracketing Transduction Grammar for Statistical Machine Translation ↗](https://aclanthology.org/C10-2136/) Coling 2010: Posters · no summary yet**Jinsong Su et al.*2010 · 3 citations*
24. **[WebAggregator: Enhancing Compositional Reasoning Capabilities of Deep Research Agent Foundation Models](https://md.research.elamur.ai/free/en/papers/wang-2026-webaggregator-enhancing-compositional-reasoning-capabilities/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Rui Wang, Ce Zhang, Jun-Yu Ma, et al.*2026 · 1 citation*
25. **[WebRollback: Enhancing Web Agents with Explicit Rollback Mechanisms](https://md.research.elamur.ai/free/en/papers/zhang-2026-webrollback-enhancing-web-agents-explicit/) [Conference of the European Chapter of the Association for Computational Linguistics (EACL)](https://md.research.elamur.ai/free/en/venues/eacl/)**Zhisong Zhang, Tianqing Fang, Kaixin Ma, et al.*2026 · 1 citation*
26. **[A Structured Language Model for Incremental Tree-to-String Translation ↗](https://aclanthology.org/C14-1107/) Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers · no summary yet**Heng Yu et al.*2014 · 1 citation*
27. **[Crossing the Reward Bridge: Expanding Reinforcement Learning with Verifiable Rewards Across Diverse Domains](https://md.research.elamur.ai/free/en/papers/su-2026-crossing-reward-bridge-expanding-reinforcement/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Yi Su, Dian Yu, Linfeng Song, et al.*2026*
28. **[Measure Twice, Click Once: Co-evolving Proposer and Visual Critic via Reinforcement Learning for GUI Grounding](https://md.research.elamur.ai/free/en/papers/wang-2026-measure-twice-click-once-co/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Wenkai Wang, Xiyun Li, Hongcan Guo, et al.*2026*