Guoxin Chen

Expanding the Capability Frontier of LLM Agents with ZPD-Guided Data Synthesis

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

Learning Evolving Tools for Large Language Models