Minpeng Liao

ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization

JURY-RL: Votes Propose, Proofs Dispose for Label-Free RLVR

IterResearch: Rethinking Long-Horizon Agents with Interaction Scaling

MARS: Optimizing Dual-System Deep Research via Multi-Agent Reinforcement Learning

C-3PO: Compact Plug-and-Play Proxy Optimization to Achieve Human-like Retrieval-Augmented Generation

LLMs Can Achieve High-quality Simultaneous Machine Translation as Efficiently as Offline