🧑‍🔬 Haitao Mi — all works

28 works · ← Haitao Mi

1. Forest-Based TranslationHaitao Mi, Liang Huang, Qun LiuMachine translation · 252 citations
2. Coverage Embedding Models for Neural Machine Translation ↗Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing · no summary yetHaitao Mi et al.2016 · 198 citations
3. Supervised Attentions for Neural Machine TranslationConference on Empirical Methods in Natural Language Processing (EMNLP)Haitao Mi, Zhiguo Wang, Abe Ittycheriah2016 · 183 citations
4. Forest-based Translation Rule ExtractionConference on Empirical Methods in Natural Language Processing (EMNLP)Haitao Mi, Liang Huang2008 · 178 citations
5. Scaling Synthetic Data Creation with 1,000,000,000 PersonasarXiv:2406.20094Tao Ge, Xin Chan, Xiaoyang Wang, et al.2024 · 171 citations
6. Vocabulary Manipulation for Neural Machine Translation ↗Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers) · no summary yetHaitao Mi, Zhiguo Wang, Abe Ittycheriah2016 · 87 citations
7. A novel dependency-to-string model for statistical machine translation ↗Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing · no summary yetJun Xie, Haitao Mi, Qun Liu2011 · 85 citations
8. DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning ↗arXiv:2504.11456 · no summary yetZhiwei He et al.2025 · 78 citations
9. Self-Alignment for Factuality: Mitigating Hallucinations in LLMs via Self-EvaluationAnnual Meeting of the Association for Computational Linguistics (ACL)Xiaoying Zhang, Baolin Peng, Ye Tian, et al.2024 · 69 citations
10. Efficient Incremental Decoding for Tree-to-String Translation ↗Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing · no summary yetLiang Huang, Haitao Mi2010 · 65 citations
11. Semi-supervised Clustering for Short Text via Deep Representation Learning ↗Proceedings of the 20th SIGNLL Conference on Computational Natural Language Learning · no summary yetZhiguo Wang, Haitao Mi, Abraham Ittycheriah2016 · 63 citations
12. Thoughts Are All Over the Place: On the Underthinking of o1-Like LLMs ↗arXiv:2501.18585 · no summary yetYue 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 Yu2025 · 60 citations
13. HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem ProvingarXiv:2412.20735Yang Li, Dong Du, Linfeng Song, et al.2024 · 25 citations
14. Rule Markov Models for Fast Tree-to-String Translation ↗Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies · no summary yetAshish Vaswani et al.2011 · 21 citations
15. Constituency to Dependency Translation with Forests ↗Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics · no summary yetHaitao Mi, Qun Liu2010 · 20 citations
16. Sub-Sentence Division for Tree-Based Machine Translation ↗Proceedings of the ACL-IJCNLP 2009 Conference Short Papers · no summary yetHao Xiong et al.2009 · 16 citations
17. Flexible and Efficient Hypergraph Interactions for Joint Hierarchical and Forest-to-String Decoding ↗Proceedings of the 2013 Conference on Empirical Methods in Natural Language Processing · no summary yetMartin Čmejrek, Haitao Mi, Bowen Zhou2013 · 12 citations
18. WebEvolver: Enhancing Web Agent Self-Improvement with Co-evolving World ModelConference on Empirical Methods in Natural Language Processing (EMNLP)Tianqing Fang, Hongming Zhang, Zhisong Zhang, et al.2025 · 11 citations
19. The Trickle-down Impact of Reward (In-)consistency on RLHFarXiv:2309.16155Lingfeng Shen, Sihao Chen, Linfeng Song, et al.2023 · 11 citations
20. SIaM: Self-Improving Code-Assisted Mathematical Reasoning of Large Language ModelsarXiv:2408.15565Dian Yu, Baolin Peng, Ye Tian, et al.2024 · 8 citations
21. Inference-Time Scaling of Verification: Self-Evolving Deep Research Agents via Test-Time Rubric-Guided VerificationFindings of the Association for Computational LinguisticsYuxuan Wan, Tianqing Fang, Zaitang LI, et al.2026 · 4 citations
22. MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation ↗arXiv:2505.10962 · no summary yetZhenwen Liang et al.2025 · 4 citations
23. Dependency-Based Bracketing Transduction Grammar for Statistical Machine Translation ↗Coling 2010: Posters · no summary yetJinsong Su et al.2010 · 3 citations
24. WebAggregator: Enhancing Compositional Reasoning Capabilities of Deep Research Agent Foundation ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Rui Wang, Ce Zhang, Jun-Yu Ma, et al.2026 · 1 citation
25. WebRollback: Enhancing Web Agents with Explicit Rollback MechanismsConference of the European Chapter of the Association for Computational Linguistics (EACL)Zhisong Zhang, Tianqing Fang, Kaixin Ma, et al.2026 · 1 citation
26. A Structured Language Model for Incremental Tree-to-String Translation ↗Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers · no summary yetHeng Yu et al.2014 · 1 citation
27. Crossing the Reward Bridge: Expanding Reinforcement Learning with Verifiable Rewards Across Diverse DomainsAnnual Meeting of the Association for Computational Linguistics (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 GroundingAnnual Meeting of the Association for Computational Linguistics (ACL)Wenkai Wang, Xiyun Li, Hongcan Guo, et al.2026

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/haitao-mi/works/