Yifan Yao

Latest

• CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
• HiPO: Hybrid Policy Optimization for Dynamic Reasoning in LLMs
• IF-VidCap: Can Video Caption Models Follow Instructions?