Yilun Hao

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance

Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming