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

4 items

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)