Publications
|
|
Goedel-Prover-V2: The Strongest Open-Source Theorem Prover to Date
Yong Lin*,
Shange Tang*,
Bohan Lyu*,
Ziran Yang*,
Jui-Hui Chung*,
Haoyu Zhao*,
Lai Jiang*,
Yihan Geng*,
Jiawei Ge,
Jingruo Sun,
Jiayun Wu,
Jiri Gesi,
David Acuna,
Kaiyu Yang,
Hongzhou Lin*,
Yejin Choi,
Danqi Chen,
Sanjeev Arora,
Chi Jin*,
Paper
|
|
|
Understanding the Sources of Uncertainty for Large Language and Multimodal Models
Ziran Yang,
Shibo Hao,
Hao Sun,
Lai Jiang,
Qiyue Gao,
Yian Ma,
Zhiting Hu
ICLR 2025 Workshop: Quantify Uncertainty and Hallucination in Foundation Models
|
|
|
From Uncertainty to Trust: Enhancing Reliability in Vision-Language Models with Uncertainty-Guided Dropout Decoding
Yixiong Fang*,
Ziran Yang*,
Zhaorun Chen,
Zhuokai Zhao,
Jiawei Zhou
NeurIPS 2025
|
|
|
Evolving Diverse Red-team Language Models in Multi-round Multi-agent Games
Chengdong Ma*,
Ziran Yang*,
Hai Ci,
Jun Gao,
Minquan Gao,
Xuehai Pan,
Yaodong Yang
Under Review
|
|
|
Panacea: Pareto Alignment via Preference Adaptation for LLMs
Yifan Zhong*,
Chengdong Ma*,
Xiaoyuan Zhang*,
Ziran Yang,
Qingfu Zhang,
Siyuan Qi,
Yaodong Yang,
NeurIPS 2024
|
|
|
SafeSora: Towards Safety Alignment of Text2Video Generation via a Human Preference Dataset
Josef Dai,
Tianle Chen,
Xuyao Wang,
Ziran Yang,
Taiye Chen,
Jiaming Ji,
Yaodong Yang,
NeurIPS 2024 (DB Track)
|
|
|
Offline Reinforcement Learning for LLM Multi-Step Reasoning
Huaijie Wang,
Shibo Hao,
Hanze Dong,
Shenao Zhang,
Yilin Bao,
Ziran Yang,
Yi Wu
ICLR 2025 Workshop: Reasoning and Planning for LLMs (Oral)
|
Services
Reviewer: NeurIPS 2024, ICLR 2025, AISTATS 2025, ICML 2025, NeurIPS 2025, AAAI 2026.
|
Selected Awards
2024: Peking University Excellent Undergraduate Research Award
2024: SenseTime Scholarship Nomination Award
2024: Song Qingling Future Scholarship
2024: Fifth Yuanpei Young Scholar Award
2023: Peking University Institute for Artificial Intelligence Annual Technology Day, Best Innovation Award
2023: Peking University Shu Qi Scholarship
2022: Peking University Lee Wai Wing Scholarship
2021: Peking University Freshman Scholarship
2019: Ministry of Education Talent Program: annual Outstanding Thesis
|
|
This template is a modification to Jon Barron's website.
|
|