3
Publications
73
Citations
3
H-Index
2023
Active since
Affiliations
Peking University Shenzhen Hospital(Current)
Chuanyang Zheng is an author at Peking University Shenzhen Hospital.
Publications per year
2023–2023
3
3
Progressive-Hint Prompting Improves Reasoning in Large Language Models
Chuanyang Zheng, Zhengying Liu, Enze Xie et al. · arXiv (Cornell University) · 2023 · 33 citations · Full text
FIMO: A Challenge Formal Dataset for Automated Theorem Proving
Chengwu Liu, Jianhao Shen, Huajian Xin et al. · arXiv (Cornell University) · 2023 · 10 citations · Full text
Rows per page
1–3 of 3