Scholar

Ziran Yang

Google Scholar ID: _k1opxYAAAAJ

Princeton University

Large Language ModelReinforcement Learning

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

134

H-index

6

i10-index

5

Publications

7

Co-authors

0

Contact

No contact links provided.

Publications

7 items

Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement

2026

Cited

0

MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI

2026

Cited

0

Odysseus: Scaling VLMs to 100+ Turn Decision-Making in Games via Reinforcement Learning

2026

Cited

0

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification

2026

Cited

0

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

2026

Cited

0

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

2025

Cited

0

Offline Reinforcement Learning for LLM Multi-Step Reasoning

2024

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)