Ziran Yang

I am a first-year 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. I am interested in the intersection of RL and LLMs, especially on certifiable reasoning.

Ziran Yang

I view exploration as the core challenge in RL, and test-time search being necessary to achieve it for LLM agents. The key technical problem is how search procedures and expert decision-making systems can be internalized as reasoning ability, rather than remaining external scaffolding. I see two tightly coupled aspects: backfilling expert search behavior into the model through learning, and on-the-fly calibration that lets the model assess uncertainty and decide when to search, explore, or trust its own prediction.

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.
2026.04AlgoVeri is selected as an ICML 2026 Spotlight.
2026.03Introducing Goedel-Code-Prover, open SOTA on Lean code verification via hierarchical proof search.
2026.01Goedel-Prover-V2 is accepted to ICLR 2026.
2025.09Started my Ph.D. at Princeton University, advised by Prof. Chi Jin.

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 – 2025.08
Research Intern — Advisor: Prof. Yaodong Yang

Service

Selected Awards