Ziran Yang

I am a Ph.D. student at the Electrical and Computer Engineering Department, Princeton University, advised by Prof. Chi Jin. Previously, I did my undergraduate at Yuanpei College, Peking University. My research interests span RL, LLMs, and certifiable reasoning.

Ziran Yang

I view exploration as a central challenge in reinforcement learning, with test-time search serving as a natural mechanism for exploration in LLM agents. My research asks how models can internalize the benefits of search and external feedback, rather than rely on them solely as external scaffolding. I study two tightly coupled directions: distilling expert search behavior into the model through learning, and calibrating the model at test time to recognize uncertainty and decide when to search, explore, or rely on its own predictions.

Email Scholar X GitHub

News

2026.07Goedel-Code-Prover and Odysseus are accepted to COLM 2026.
2026.06Goedel-Architect and MLS-Bench are accepted to AI4MATH @ ICML 2026; MLS-Bench is selected as a Spotlight.
2026.04AlgoVeri is selected as an ICML 2026 Spotlight.
2026.03Introducing Goedel-Code-Prover, open SOTA on Lean code verification via hierarchical proof search. Check out X.
2026.01Goedel-Prover-V2 is accepted to ICLR 2026.
2025.10Worked with Thinking Machines Lab as an early private-beta collaborator on Tinker, with our Princeton Goedel team featured on the launch page.
2025.09Started my Ph.D. at Princeton University, advised by Prof. Chi Jin.
2025.07Goedel-Prover-V2 ranks first among open-source models on PutnamBench.

Publications

Experience

ByteDance Seed · 2025.05 – 2025.08
Research Intern — RL for tool-using agentic LLMs.
UC San Diego · 2024.04 – 2024.11
Research Intern — Advisor: Prof. Zhiting Hu
PAIR Lab, Peking University · 2023.05 – 2024.06
Research Intern — Advisor: Prof. Yaodong Yang

Service

Selected Awards