Haitao Mi

32 papers at tracked venues · 27 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

ACL ×14 NeurIPS ×8 EMNLP ×4 ICLR ×3 AAAI ×1 EACL ×1 ICML ×1

Frequent coauthors

Dong Yu

×29

Linfeng Song

×16

Dian Yu

×11

Tianqing Fang

×9

Ye Tian

×8

Baolin Peng

×8

Zhaopeng Tu

×7

Zhisong Zhang

×7

Zhenwen Liang

×6

Jiahao Xu

×6

Hongming Zhang

×6

Tian Liang

×5

Papers

Crossing the Reward Bridge: Expanding Reinforcement Learning with Verifiable Rewards Across Diverse Domains
ACL 2026 ·
Yi Su
,
Dian Yu
,
Linfeng Song
,
Juntao Li
, Haitao Mi,
Zhaopeng Tu
,
Min Zhang
,
Dong Yu
EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
ACL 2026 ·
Mukai Li
,
Linfeng Song
,
Zhenwen Liang
,
Jiahao Xu
,
Shansan Gong
,
Qi Liu
, Haitao Mi,
Dong Yu
Inference-Time Scaling of Verification: Self-Evolving Deep Research Agents via Test-Time Rubric-Guided Verification
ACL 2026 ·
Yuxuan Wan
,
Tianqing Fang
,
Zaitang LI
,
Yintong Huo
,
Wenxuan Wang
, Haitao Mi,
Dong Yu
,
Michael R. Lyu
Measure Twice, Click Once: Co-evolving Proposer and Visual Critic via Reinforcement Learning for GUI Grounding
ACL 2026 ·
Wenkai Wang
,
Xiyun Li
,
Hongcan Guo
,
Wenhao Yu
,
Tianqing Fang
, Haitao Mi,
Dong Yu
,
Shengyu Zhang
Save the Good Prefix: Precise Error Penalization via Process-Supervised RL to Enhance LLM Reasoning
ACL 2026 ·
Haolin Liu
,
Dian Yu
,
Sidi Lu
,
Yujun Zhou
,
Rui Liu
,
Zhenwen Liang
, Haitao Mi,
Chen-Yu Wei
,
Dong Yu
Too Correct to Learn: Reinforcement Learning on Saturated Reasoning Data
ACL 2026 ·
Zhenwen Liang
,
Yujun Zhou
,
Sidi Lu
,
Xiangliang Zhang
, Haitao Mi,
Dong Yu
Verified Critical Step Optimization for LLM Agents
ACL 2026 ·
Mukai Li
,
Qingcheng Zeng
,
Tianqing Fang
,
Zhenwen Liang
,
Linfeng Song
,
Qi Liu
, Haitao Mi,
Dong Yu
WebAggregator: Enhancing Compositional Reasoning Capabilities of Deep Research Agent Foundation Models
ACL 2026 ·
Rui Wang
,
Ce Zhang
,
Jun-Yu Ma
,
Jianshu Zhang
,
Hongru Wang
,
Yi Chen
,
Boyang Xue
,
Tianqing Fang
,
Zhisong Zhang
,
Hongming Zhang
, Haitao Mi,
Dong Yu
,
Kam-Fai Wong
WebRollback: Enhancing Web Agents with Explicit Rollback Mechanisms
EACL 2026 ·
Zhisong Zhang
,
Tianqing Fang
,
Kaixin Ma
,
Wenhao Yu
,
Hongming Zhang
, Haitao Mi,
Dong Yu
Your Reasoning Model is Secretly a Reward Model - Optimization-Free Verification from Experience
ACL 2026 ·
Zhenwen Liang
,
Ruosen Li
,
Yujun Zhou
,
Linfeng Song
,
Dian Yu
,
Xinya Du
, Haitao Mi,
Dong Yu
DOTS: Learning to Reason Dynamically in LLMs via Optimal Reasoning Trajectories Search
ICLR 2025 ·
Murong Yue
,
Wenlin Yao
, Haitao Mi,
Dian Yu
,
Ziyu Yao
,
Dong Yu
Do NOT Think That Much for 2+3=? On the Overthinking of Long Reasoning Models
ICML 2025 ·
Xingyu Chen
,
Jiahao Xu
,
Tian Liang
,
Zhiwei He
,
Jianhui Pang
,
Dian Yu
,
Linfeng Song
,
Qiuzhi Liu
,
Mengfei Zhou
,
Zhuosheng Zhang
,
Rui Wang
,
Zhaopeng Tu
, Haitao Mi,
Dong Yu
Don't Get Lost in the Trees: Streamlining LLM Reasoning by Overcoming Tree Search Exploration Pitfalls
ACL 2025 ·
Ante Wang
,
Linfeng Song
,
Ye Tian
,
Dian Yu
, Haitao Mi,
Xiangyu Duan
,
Zhaopeng Tu
,
Jinsong Su
,
Dong Yu
Improving LLM General Preference Alignment via Optimistic Online Mirror Descent
NeurIPS 2025 ·
Yuheng Zhang
,
Dian Yu
,
Tao Ge
,
Linfeng Song
,
Zhichen Zeng
, Haitao Mi,
Nan Jiang
,
Dong Yu
Iterative Nash Policy Optimization: Aligning LLMs with General Preferences via No-Regret Learning
ICLR 2025 ·
Yuheng Zhang
,
Dian Yu
,
Baolin Peng
,
Linfeng Song
,
Ye Tian
,
Mingyue Huo
,
Nan Jiang
, Haitao Mi,
Dong Yu
LiteSearch: Efficient Tree Search with Dynamic Exploration Budget for Math Reasoning
AAAI 2025 ·
Ante Wang
,
Linfeng Song
,
Ye Tian
,
Baolin Peng
,
Dian Yu
, Haitao Mi,
Jinsong Su
,
Dong Yu
Low-Bit Quantization Favors Undertrained LLMs
ACL 2025 ·
Xu Ouyang
,
Tao Ge
,
Thomas Hartvigsen
,
Zhisong Zhang
, Haitao Mi,
Dong Yu
MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
NeurIPS 2025 ·
Zhenwen Liang
,
Linfeng Song
,
Yang Li
,
Tao Yang
, Haitao Mi,
Dong Yu
Recall with Reasoning: Chain-of-Thought Distillation for Mamba's Long-Context Memory and Extrapolation
EMNLP 2025 ·
Jun-Yu Ma
,
Tianqing Fang
,
Zhisong Zhang
,
Hongming Zhang
, Haitao Mi,
Dong Yu
Self-Tuning: Instructing LLMs to Effectively Acquire New Knowledge through Self-Teaching
ACL 2025 ·
Xiaoying Zhang
,
Baolin Peng
,
Ye Tian
,
Jingyan Zhou
,
Yipeng Zhang
, Haitao Mi,
Helen M. Meng
The First Few Tokens Are All You Need: An Efficient and Effective Unsupervised Prefix Fine-Tuning Method for Reasoning Models
NeurIPS 2025 ·
Ke Ji
,
Jiahao Xu
,
Tian Liang
,
Qiuzhi Liu
,
Zhiwei He
,
Xiaoyuan Liu
,
Xingyu Chen
,
Junying Chen
,
Benyou Wang
,
Zhaopeng Tu
, Haitao Mi,
Dong Yu
Thoughts Are All Over the Place: On the Underthinking of Long Reasoning Models
NeurIPS 2025 ·
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
Trust, But Verify: A Self-Verification Approach to Reinforcement Learning with Verifiable Rewards
NeurIPS 2025 ·
Xiaoyuan Liu
,
Tian Liang
,
Zhiwei He
,
Jiahao Xu
,
Wenxuan Wang
,
Pinjia He
,
Zhaopeng Tu
, Haitao Mi,
Dong Yu
Two Experts Are All You Need for Steering Thinking: Reinforcing Cognitive Effort in MoE Reasoning Models Without Additional Training
NeurIPS 2025 ·
Mengru Wang
,
Xingyu Chen
,
Yue Wang
,
Zhiwei He
,
Jiahao Xu
,
Tian Liang
,
Qiuzhi Liu
,
Yunzhi Yao
,
Wenxuan Wang
,
Ruotian Ma
, Haitao Mi,
Ningyu Zhang
,
Zhaopeng Tu
,
Xiaolong Li
,
Dong Yu
UniGist: Towards General and Hardware-aligned Sequence-level Long Context Compression
NeurIPS 2025 ·
Chenlong Deng
,
Zhisong Zhang
,
Kelong Mao
,
Shuaiyi Li
,
Tianqing Fang
,
Hongming Zhang
, Haitao Mi,
Dong Yu
,
Zhicheng Dou
WebCoT: Enhancing Web Agent Reasoning by Reconstructing Chain-of-Thought in Reflection, Branching, and Rollback
EMNLP 2025 ·
Minda Hu
,
Tianqing Fang
,
Jianshu Zhang
,
Jun-Yu Ma
,
Zhisong Zhang
,
Jingyan Zhou
,
Hongming Zhang
, Haitao Mi,
Dong Yu
,
Irwin King
WebEvolver: Enhancing Web Agent Self-Improvement with Co-evolving World Model
EMNLP 2025 ·
Tianqing Fang
,
Hongming Zhang
,
Zhisong Zhang
,
Kaixin Ma
,
Wenhao Yu
, Haitao Mi,
Dong Yu
Improving LLM Generations via Fine-Grained Self-Endorsement
ACL 2024 ·
Ante Wang
,
Linfeng Song
,
Baolin Peng
,
Lifeng Jin
,
Ye Tian
, Haitao Mi,
Jinsong Su
,
Dong Yu
Self-Alignment for Factuality: Mitigating Hallucinations in LLMs via Self-Evaluation
ACL 2024 ·
Xiaoying Zhang
,
Baolin Peng
,
Ye Tian
,
Jingyan Zhou
,
Lifeng Jin
,
Linfeng Song
, Haitao Mi,
Helen Meng
Self-Consistency Boosts Calibration for Math Reasoning
EMNLP 2024 ·
Ante Wang
,
Linfeng Song
,
Ye Tian
,
Baolin Peng
,
Lifeng Jin
, Haitao Mi,
Jinsong Su
,
Dong Yu
The Trickle-down Impact of Reward Inconsistency on RLHF
ICLR 2024 ·
Lingfeng Shen
,
Sihao Chen
,
Linfeng Song
,
Lifeng Jin
,
Baolin Peng
, Haitao Mi,
Daniel Khashabi
,
Dong Yu
Toward Self-Improvement of LLMs via Imagination, Searching, and Criticizing
NeurIPS 2024 ·
Ye Tian
,
Baolin Peng
,
Linfeng Song
,
Lifeng Jin
,
Dian Yu
,
Lei Han
, Haitao Mi,
Dong Yu