The ICT statistical machine translation systems for IWSLT 2007. - Zhongjun He; Haitao Mi; Yang Liu 005; Deyi Xiong; Weihua Luo; Yun Huang; Zhixiang Ren; Yajuan Lü; Qun Liu 001 (IWSLT, 2007)

Forest-Based Translation. - Haitao Mi; Liang Huang 001; Qun Liu 001 (ACL, 2008)

Word Lattice Reranking for Chinese Word Segmentation and Part-of-Speech Tagging. - Wenbin Jiang 002; Haitao Mi; Qun Liu 001 (COLING, 2008)

Forest-based Translation Rule Extraction. - Haitao Mi; Liang Huang 001 (EMNLP, 2008)

Refinements in BTG-based Statistical Machine Translation. - Deyi Xiong; Min Zhang 005; AiTi Aw; Haitao Mi; Qun Liu 001; Shouxun Lin (IJCNLP, 2008)

The ICT system description for IWSLT 2008. - Yang Liu 005; Zhongjun He; Haitao Mi; Yun Huang; Yang Feng 004; Wenbin Jiang 002; Yajuan Lü; Qun Liu 001 (IWSLT, 2008)

Joint Decoding with Multiple Translation Models. - Yang Liu 005; Haitao Mi; Yang Feng 004; Qun Liu 001 (ACL/IJCNLP, 2009)

Sub-Sentence Division for Tree-Based Machine Translation. - Hao Xiong; Wenwen Xu; Haitao Mi; Yang Liu 005; Qun Liu 001 (ACL/IJCNLP (2), 2009)

Lattice-based System Combination for Statistical Machine Translation. - Yang Feng 004; Yang Liu 005; Haitao Mi; Qun Liu 001; Yajuan Lü (EMNLP, 2009)

The ICT statistical machine translation systems for the IWSLT 2009. - Haitao Mi; Yang Liu 005; Tian Xia 004; Xinyan Xiao; Yang Feng 004; Jun Xie; Hao Xiong; Zhaopeng Tu; Daqi Zheng; Yajuan Lü; Qun Liu 001 (IWSLT, 2009)

The ICT statistical machine translation system for the IWSLT 2009. - Haitao Mi; Yang Liu 005; Tian Xia 004; Xinyan Xiao; Yang Feng 004; Jun Xie; Hao Xiong; Zhaopeng Tu; Daqi Zheng; Yanjuan Lu; Qun Liu 001 (IWSLT (Evaluation Campaign), 2009)

Forest-Based Semantic Role Labeling. - Hao Xiong; Haitao Mi; Yang Liu 005; Qun Liu 001 (AAAI, 2010)

Constituency to Dependency Translation with Forests. - Haitao Mi; Qun Liu 001 (ACL, 2010)

Learning Lexicalized Reordering Models from Reordering Graphs. - Jinsong Su; Yang Liu 005; Yajuan Lü; Haitao Mi; Qun Liu 001 (ACL (2), 2010)

An Efficient Shift-Reduce Decoding Algorithm for Phrased-Based Machine Translation. - Yang Feng 004; Haitao Mi; Yang Liu 005; Qun Liu 001 (COLING (Posters), 2010)

Machine Translation with Lattices and Forests. - Haitao Mi; Liang Huang 001; Qun Liu 001 (COLING (Posters), 2010)

Dependency-Based Bracketing Transduction Grammar for Statistical Machine Translation. - Jinsong Su; Yang Liu 005; Haitao Mi; Hongmei Zhao; Yajuan Lv; Qun Liu 001 (COLING (Posters), 2010)

Efficient Incremental Decoding for Tree-to-String Translation. - Liang Huang 001; Haitao Mi (EMNLP, 2010)

The ICT statistical machine translation system for IWSLT 2010. - Hao Xiong; Jun Xie; Hui Yu 010; Kai Liu; Wei Luo; Haitao Mi; Yang Liu 005; Yajuan Lü; Qun Liu 001 (IWSLT, 2010)

Statistical Translation Model Based On Source Syntax Structure. - Qun Liu 001; Yang Liu 005; Haitao Mi (PACLIC, 2010)

Rule Markov Models for Fast Tree-to-String Translation. - Ashish Vaswani; Haitao Mi; Liang Huang 001; David Chiang 001 (ACL, 2011)

A novel dependency-to-string model for statistical machine translation. - Jun Xie; Haitao Mi; Qun Liu 001 (EMNLP, 2011)

Parallelizing a machine translation decoder for multicore computer. - Long Chen; Wei Huo; Haitao Mi; Zhaoqing Zhang; Xiaobing Feng 002; Zhiyuan Li 001 (ICNC, 2011)

Bagging-based System Combination for Domain Adaption. - Linfeng Song; Haitao Mi; Yajuan Lü; Qun Liu 001 (MTSummit, 2011)

Flexible and Efficient Hypergraph Interactions for Joint Hierarchical and Forest-to-String Decoding. - Martin Cmejrek; Haitao Mi; Bowen Zhou (EMNLP, 2013)

Max-Violation Perceptron and Forced Decoding for Scalable MT Training. - Heng Yu 006; Liang Huang 001; Haitao Mi; Kai Zhao 003 (EMNLP, 2013)

Hierarchical MT Training using Max-Violation Perceptron. - Kai Zhao 003; Liang Huang 001; Haitao Mi; Abraham Ittycheriah (ACL (2), 2014)

A Structured Language Model for Incremental Tree-to-String Translation. - Heng Yu 006; Haitao Mi; Liang Huang 001; Qun Liu 001 (COLING, 2014)

Feature Optimization for Constituent Parsing via Neural Networks. - Zhiguo Wang; Haitao Mi; Nianwen Xue (ACL (1), 2015)

Shift-Reduce Constituency Parsing with Dynamic Programming and POS Tag Lattice. - Haitao Mi; Liang Huang 001 (HLT-NAACL, 2015)

Vocabulary Manipulation for Neural Machine Translation. - Haitao Mi; Zhiguo Wang; Abe Ittycheriah (ACL (2), 2016)

Sentence Similarity Learning by Lexical Decomposition and Composition. - Zhiguo Wang; Haitao Mi; Abraham Ittycheriah (COLING, 2016)

Semi-supervised Clustering for Short Text via Deep Representation Learning. - Zhiguo Wang; Haitao Mi; Abraham Ittycheriah (CoNLL, 2016)

Coverage Embedding Models for Neural Machine Translation. - Haitao Mi; Baskaran Sankaran; Zhiguo Wang; Abe Ittycheriah (EMNLP, 2016)

Supervised Attentions for Neural Machine Translation. - Haitao Mi; Zhiguo Wang; Abe Ittycheriah (EMNLP, 2016)

Memory chunking analysis of numerical password for Chinese websites. - Rui Xu; Xiaojun Chen 004; Yingbing Wang; Jinqiao Shi; Haitao Mi (MILCOM, 2016)

Sense Embedding Learning for Word Sense Induction. - Linfeng Song; Zhiguo Wang; Haitao Mi; Daniel Gildea (*SEM@ACL, 2016)

A Coverage Embedding Model for Neural Machine Translation. - Haitao Mi; Baskaran Sankaran; Zhiguo Wang; Abe Ittycheriah (CoRR, 2016)

Temporal Attention Model for Neural Machine Translation. - Baskaran Sankaran; Haitao Mi; Yaser Al-Onaizan; Abe Ittycheriah (CoRR, 2016)

Multi-Perspective Context Matching for Machine Comprehension. - Zhiguo Wang; Haitao Mi; Wael Hamza; Radu Florian (CoRR, 2016)

R2D2: Recursive Transformer based on Differentiable Tree for Interpretable Hierarchical Language Modeling. - Xiang Hu; Haitao Mi; Zujie Wen; Yafang Wang; Yi Su; Jing Zheng; Gerard de Melo (ACL/IJCNLP (1), 2021)

A Dialogue-based Information Extraction System for Medical Insurance Assessment. - Shuang Peng 009; Mengdi Zhou; Minghui Yang; Haitao Mi; Shaosheng Cao; Zujie Wen; Teng Xu 007; Hongbin Wang; Lei Liu (ACL/IJCNLP (Findings), 2021)

IIAS: An Intelligent Insurance Assessment System through Online Real-time Conversation Analysis. - Mengdi Zhou; Shuang Peng 009; Minghui Yang; Nan Li; Hongbin Wang; Li Qiao; Haitao Mi; Zujie Wen; Teng Xu 007; Lei Liu (IJCAI, 2021)

DP-FP: Differentially Private Forward Propagation for Large Models. - Jian Du; Haitao Mi (CoRR, 2021)

Cross-lingual Text-to-SQL Semantic Parsing with Representation Mixup. - Peng Shi 010; Linfeng Song; Lifeng Jin; Haitao Mi; He Bai 002; Jimmy Lin; Dong Yu 001 (EMNLP (Findings), 2022)

Fast-R2D2: A Pretrained Recursive Neural Network based on Pruned CKY for Grammar Induction and Text Representation. - Xiang Hu; Haitao Mi; Liang Li; Gerard de Melo (EMNLP, 2022)

Learning a Grammar Inducer from Massive Uncurated Instructional Videos. - Songyang Zhang; Linfeng Song; Lifeng Jin; Haitao Mi; Kun Xu 005; Dong Yu 001; Jiebo Luo 001 (EMNLP, 2022)

COSSUM: Towards Conversation-Oriented Structured Summarization for Automatic Medical Insurance Assessment. - Sheng Xu; Xiaojun Wan 001; Sen Hu; Mengdi Zhou; Teng Xu 007; Hongbin Wang; Haitao Mi (KDD, 2022)

Towards Generalized Models for Task-oriented Dialogue Modeling on Spoken Conversations. - Ruijie Yan; Shuang Peng 009; Haitao Mi; Liang Jiang; Shihui Yang; Yuchi Zhang; Jiajun Li; Liangrui Peng; Yongliang Wang; Zujie Wen (CoRR, 2022)

Discover, Explanation, Improvement: Automatic Slice Detection Framework for Natural Language Processing. - Wenyue Hua; Lifeng Jin; Linfeng Song; Haitao Mi; Yongfeng Zhang; Dong Yu 001 (CoRR, 2022)

Bi-level Finetuning with Task-dependent Similarity Structure for Low-resource Training. - Sai Ashish Somayajula; Lifeng Jin; Linfeng Song; Haitao Mi; Dong Yu 001 (ACL (Findings), 2023)

SafeConv: Explaining and Correcting Conversational Unsafe Behavior. - Mian Zhang; Lifeng Jin; Linfeng Song; Haitao Mi; Wenliang Chen; Dong Yu 001 (ACL (1), 2023)

Friend-training: Learning from Models of Different but Related Tasks. - Mian Zhang; Lifeng Jin; Linfeng Song; Haitao Mi; Xiabing Zhou; Dong Yu 001 (EACL, 2023)

More Than Spoken Words: Nonverbal Message Extraction and Generation. - Dian Yu 001; Xiaoyang Wang; Wanshun Chen; Nan Du; Longyue Wang; Haitao Mi; Dong Yu 001 (EMNLP, 2023)

Stabilizing RLHF through Advantage Model and Selective Rehearsal. - Baolin Peng; Linfeng Song; Ye Tian; Lifeng Jin; Haitao Mi; Dong Yu 001 (CoRR, 2023)

The Trickle-down Impact of Reward (In-)consistency on RLHF. - Lingfeng Shen; Sihao Chen; Linfeng Song; Lifeng Jin; Baolin Peng; Haitao Mi; Daniel Khashabi; Dong Yu 001 (CoRR, 2023)

Discover, Explain, Improve: An Automatic Slice Detection Benchmark for Natural Language Processing. - Wenyue Hua; Lifeng Jin; Linfeng Song; Haitao Mi; Yongfeng Zhang; Dong Yu 001 (Trans. Assoc. Comput. Linguistics, 2023)

OpenFact: Factuality Enhanced Open Knowledge Extraction. - Linfeng Song; Ante Wang; Xiaoman Pan; Hongming Zhang 009; Dian Yu 001; Lifeng Jin; Haitao Mi; Jinsong Su; Yue Zhang 004; Dong Yu 001 (Trans. Assoc. Comput. Linguistics, 2023)

D$^{2}$PSG: Multi-Party Dialogue Discourse Parsing as Sequence Generation. - Ante Wang; Linfeng Song; Lifeng Jin; Junfeng Yao; Haitao Mi; Chen Lin 001; Jinsong Su; Dong Yu 001 (IEEE ACM Trans. Audio Speech Lang. Process., 2023)

Search-engine-augmented dialogue response generation with cheaply supervised query production. - Ante Wang; Linfeng Song; Qi Liu 049; Haitao Mi; Longyue Wang; Zhaopeng Tu; Jinsong Su; Dong Yu 001 (Artif. Intell., 2023)

Improving LLM Generations via Fine-Grained Self-Endorsement. - Ante Wang; Linfeng Song; Baolin Peng; Lifeng Jin; Ye Tian; Haitao Mi; Jinsong Su; Dong Yu 001 (ACL (Findings), 2024)

Self-Alignment for Factuality: Mitigating Hallucinations in LLMs via Self-Evaluation. - Xiaoying Zhang; Baolin Peng; Ye Tian; Jingyan Zhou; Lifeng Jin; Linfeng Song; Haitao Mi; Helen Meng (ACL (1), 2024)

A Knowledge Plug-and-Play Test Bed for Open-domain Dialogue Generation. - Xiangci Li; Linfeng Song; Lifeng Jin; Haitao Mi; Jessica Ouyang 001; Dong Yu 001 (LREC/COLING, 2024)

Inconsistent dialogue responses and how to recover from them. - Mian Zhang; Lifeng Jin; Linfeng Song; Haitao Mi; Dong Yu 001 (EACL (Findings), 2024)

Self-Consistency Boosts Calibration for Math Reasoning. - Ante Wang; Linfeng Song; Ye Tian; Baolin Peng; Lifeng Jin; Haitao Mi; Jinsong Su; Dong Yu (EMNLP (Findings), 2024)

The Trickle-down Impact of Reward Inconsistency on RLHF. - Lingfeng Shen; Sihao Chen; Linfeng Song; Lifeng Jin; Baolin Peng; Haitao Mi; Daniel Khashabi; Dong Yu 001 (ICLR, 2024)

Toward Self-Improvement of LLMs via Imagination, Searching, and Criticizing. - Ye Tian; Baolin Peng; Linfeng Song; Lifeng Jin; Dian Yu 001; Lei Han; Haitao Mi; Dong Yu 001 (NeurIPS, 2024)

Fine-Grained Self-Endorsement Improves Factuality and Reasoning. - Ante Wang; Linfeng Song; Baolin Peng; Ye Tian; Lifeng Jin; Haitao Mi; Jinsong Su; Dong Yu 001 (CoRR, 2024)

Collaborative decoding of critical tokens for boosting factuality of large language models. - Lifeng Jin; Baolin Peng; Linfeng Song; Haitao Mi; Ye Tian; Dong Yu 001 (CoRR, 2024)

Self-Consistency Boosts Calibration for Math Reasoning. - Ante Wang; Linfeng Song; Ye Tian; Baolin Peng; Lifeng Jin; Haitao Mi; Jinsong Su; Dong Yu 001 (CoRR, 2024)

Entropy Guided Extrapolative Decoding to Improve Factuality in Large Language Models. - Souvik Das; Lifeng Jin; Linfeng Song; Haitao Mi; Baolin Peng; Dong Yu 001 (CoRR, 2024)

Toward Self-Improvement of LLMs via Imagination, Searching, and Criticizing. - Ye Tian; Baolin Peng; Linfeng Song; Lifeng Jin; Dian Yu 001; Haitao Mi; Dong Yu 001 (CoRR, 2024)

Scaling Synthetic Data Creation with 1,000,000,000 Personas. - Xin Chan; Xiaoyang Wang; Dian Yu 001; Haitao Mi; Dong Yu 001 (CoRR, 2024)

LiteSearch: Efficacious Tree Search for LLM. - Ante Wang; Linfeng Song; Ye Tian; Baolin Peng; Dian Yu 001; Haitao Mi; Jinsong Su; Dong Yu 001 (CoRR, 2024)

SIaM: Self-Improving Code-Assisted Mathematical Reasoning of Large Language Models. - Dian Yu 001; Baolin Peng; Ye Tian; Linfeng Song; Haitao Mi; Dong Yu 001 (CoRR, 2024)

HDFlow: Enhancing LLM Complex Problem-Solving with Hybrid Thinking and Dynamic Workflows. - Wenlin Yao; Haitao Mi; Dong Yu 001 (CoRR, 2024)

Towards Self-Improvement of LLMs via MCTS: Leveraging Stepwise Knowledge with Curriculum Preference Learning. - Xiyao Wang; Linfeng Song; Ye Tian; Dian Yu 001; Baolin Peng; Haitao Mi; Furong Huang; Dong Yu 001 (CoRR, 2024)

Low-Bit Quantization Favors Undertrained LLMs: Scaling Laws for Quantized LLMs with 100T Training Tokens. - Xu Ouyang; Tao Ge 005; Thomas Hartvigsen; Zhisong Zhang; Haitao Mi; Dong Yu 001 (CoRR, 2024)

Teaching LLMs to Refine with Tools. - Dian Yu 001; Yuheng Zhang; Jiahao Xu; Tian Liang; Linfeng Song; Zhaopeng Tu; Haitao Mi; Dong Yu 001 (CoRR, 2024)

HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving. - Yang Li; Dong Du; Linfeng Song; Chen Li; Weikang Wang; Tao Yang; Haitao Mi (CoRR, 2024)

Do NOT Think That Much for 2+3=? On the Overthinking of o1-Like LLMs. - Xingyu Chen; Jiahao Xu; Tian Liang; Zhiwei He 002; Jianhui Pang; Dian Yu 001; Linfeng Song; Qiuzhi Liu; Mengfei Zhou; Zhuosheng Zhang 001; Rui Wang 015; Zhaopeng Tu; et al. (CoRR, 2024)

LiteSearch: Efficient Tree Search with Dynamic Exploration Budget for Math Reasoning. - Ante Wang; Linfeng Song; Ye Tian; Baolin Peng; Dian Yu 001; Haitao Mi; Jinsong Su; Dong Yu 001 (AAAI, 2025)

Low-Bit Quantization Favors Undertrained LLMs. - Xu Ouyang; Tao Ge 005; Thomas Hartvigsen; Zhisong Zhang; Haitao Mi; Dong Yu 001 (ACL (1), 2025)

Don't Get Lost in the Trees: Streamlining LLM Reasoning by Overcoming Tree Search Exploration Pitfalls. - Ante Wang; Linfeng Song; Ye Tian; Dian Yu 001; Haitao Mi; Xiangyu Duan; Zhaopeng Tu; Jinsong Su; Dong Yu 001 (ACL (1), 2025)

Self-Tuning: Instructing LLMs to Effectively Acquire New Knowledge through Self-Teaching. - Xiaoying Zhang; Baolin Peng; Ye Tian; Jingyan Zhou; Yipeng Zhang; Haitao Mi; Helen M. Meng (ACL (Findings), 2025)

Entropy Guided Extrapolative Decoding to Improve Factuality in Large Language Models. - Souvik Das; Lifeng Jin; Linfeng Song; Haitao Mi; Baolin Peng; Dong Yu (COLING, 2025)

DOTS: Learning to Reason Dynamically in LLMs via Optimal Reasoning Trajectories Search. - Murong Yue; Wenlin Yao; Haitao Mi; Dian Yu 001; Ziyu Yao 002; Dong Yu 001 (ICLR, 2025)

Iterative Nash Policy Optimization: Aligning LLMs with General Preferences via No-Regret Learning. - Yuheng Zhang; Dian Yu 001; Baolin Peng; Linfeng Song; Ye Tian; Mingyue Huo; Nan Jiang 008; Haitao Mi; Dong Yu 001 (ICLR, 2025)

Thoughts Are All Over the Place: On the Underthinking of o1-Like LLMs. - Yue Wang; Qiuzhi Liu; Jiahao Xu; Tian Liang; Xingyu Chen; Zhiwei He 002; Linfeng Song; Dian Yu 001; Juntao Li; Zhuosheng Zhang 001; Rui Wang 015; Zhaopeng Tu; et al. (CoRR, 2025)

Improving LLM General Preference Alignment via Optimistic Online Mirror Descent. - Yuheng Zhang; Dian Yu 001; Tao Ge 005; Linfeng Song; Zhichen Zeng 001; Haitao Mi; Nan Jiang 008; Dong Yu 001 (CoRR, 2025)

The First Few Tokens Are All You Need: An Efficient and Effective Unsupervised Prefix Fine-Tuning Method for Reasoning Models. - Ke Ji; Jiahao Xu; Tian Liang; Qiuzhi Liu; Zhiwei He 002; Xingyu Chen; Xiaoyuan Liu; Zhijie Wang; Junying Chen; Benyou Wang; Zhaopeng Tu; Haitao Mi; et al. (CoRR, 2025)

Dancing with Critiques: Enhancing LLM Reasoning with Stepwise Natural Language Self-Critique. - Yansi Li; Jiahao Xu; Tian Liang; Xingyu Chen; Zhiwei He 002; Qiuzhi Liu; Rui Wang 015; Zhuosheng Zhang 001; Zhaopeng Tu; Haitao Mi; Dong Yu 001 (CoRR, 2025)

Crossing the Reward Bridge: Expanding RL with Verifiable Rewards Across Diverse Domains. - Yi Su 006; Dian Yu 001; Linfeng Song; Juntao Li; Haitao Mi; Zhaopeng Tu; Min Zhang 005; Dong Yu 001 (CoRR, 2025)

DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning. - Zhiwei He 002; Tian Liang; Jiahao Xu; Qiuzhi Liu; Xingyu Chen; Yue Wang; Linfeng Song; Dian Yu 001; Zhenwen Liang; Wenxuan Wang 001; Zhuosheng Zhang 001; Rui Wang 015; et al. (CoRR, 2025)

Enhancing Web Agents with Explicit Rollback Mechanisms. - Zhisong Zhang; Tianqing Fang; Kaixin Ma; Wenhao Yu 002; Hongming Zhang 009; Haitao Mi; Dong Yu 001 (CoRR, 2025)

WebEvolver: Enhancing Web Agent Self-Improvement with Coevolving World Model. - Tianqing Fang; Hongming Zhang 009; Zhisong Zhang; Kaixin Ma; Wenhao Yu 002; Haitao Mi; Dong Yu 001 (CoRR, 2025)

Recall with Reasoning: Chain-of-Thought Distillation for Mamba's Long-Context Memory and Extrapolation. - Junyu Ma; Tianqing Fang; Zhisong Zhang; Hongming Zhang 009; Haitao Mi; Dong Yu 001 (CoRR, 2025)

MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation. - Zhenwen Liang; Linfeng Song; Yang Li; Tao Yang; Feng Zhang; Haitao Mi; Dong Yu (CoRR, 2025)

Trust, But Verify: A Self-Verification Approach to Reinforcement Learning with Verifiable Rewards. - Xiaoyuan Liu; Tian Liang; Zhiwei He 002; Jiahao Xu; Wenxuan Wang 001; Pinjia He; Zhaopeng Tu; Haitao Mi; Dong Yu 001 (CoRR, 2025)

Two Experts Are All You Need for Steering Thinking: Reinforcing Cognitive Effort in MoE Reasoning Models Without Additional Training. - Mengru Wang; Xingyu Chen; Yue Wang; Zhiwei He 002; Jiahao Xu; Tian Liang; Qiuzhi Liu; Yunzhi Yao; Wenxuan Wang 001; Ruotian Ma; Haitao Mi; Ningyu Zhang 001; et al. (CoRR, 2025)

WebCoT: Enhancing Web Agent Reasoning by Reconstructing Chain-of-Thought in Reflection, Branching, and Rollback. - Minda Hu; Tianqing Fang; Jianshu Zhang; Junyu Ma; Zhisong Zhang; Jingyan Zhou; Hongming Zhang 009; Haitao Mi; Dong Yu 001; Irwin King (CoRR, 2025)

InComeS: Integrating Compression and Selection Mechanisms into LLMs for Efficient Model Editing. - Shuaiyi Li; Zhisong Zhang; Yang Deng 002; Chenlong Deng; Tianqing Fang; Hongming Zhang 009; Haitao Mi; Dong Yu 001; Wai Lam (CoRR, 2025)

VScan: Rethinking Visual Token Reduction for Efficient Large Vision-Language Models. - Ce Zhang 009; Kaixin Ma; Tianqing Fang; Wenhao Yu 002; Hongming Zhang 009; Zhisong Zhang; Yaqi Xie 001; Katia P. Sycara; Haitao Mi; Dong Yu 001 (CoRR, 2025)

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning. - Ziyin Zhang; Jiahao Xu; Zhiwei He 002; Tian Liang; Qiuzhi Liu; Yansi Li; Linfeng Song; Zhengwen Liang; Zhuosheng Zhang 001; Rui Wang 015; Zhaopeng Tu; Haitao Mi; et al. (CoRR, 2025)

MobileGUI-RL: Advancing Mobile GUI Agent through Reinforcement Learning in Online Environment. - Yucheng Shi; Wenhao Yu 002; Zaitang Li; Yonglin Wang; Hongming Zhang 009; Ninghao Liu; Haitao Mi; Dong Yu 001 (CoRR, 2025)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving. - Zhenwen Liang; Linfeng Song; Yang Li; Tao Yang 033; Feng Zhang; Haitao Mi; Dong Yu 001 (CoRR, 2025)

One Token to Fool LLM-as-a-Judge. - Yulai Zhao 002; Haolin Liu; Dian Yu; S. Y. Kung; Haitao Mi; Dong Yu (CoRR, 2025)

Cognitive Kernel-Pro: A Framework for Deep Research Agents and Agent Foundation Models Training. - Tianqing Fang; Zhisong Zhang; Xiaoyang Wang; Rui Wang 015; Can Qin; Yuxuan Wan; Jun-Yu Ma; Ce Zhang 009; Jiaqi Chen; Xiyun Li; Hongming Zhang 009; Haitao Mi; et al. (CoRR, 2025)

R-Zero: Self-Evolving Reasoning LLM from Zero Data. - Chengsong Huang; Wenhao Yu 002; Xiaoyang Wang; Hongming Zhang 009; Zongxia Li; Ruosen Li; Jiaxin Huang; Haitao Mi; Dong Yu 001 (CoRR, 2025)