-
The Chinese University of Hong Komg
- Hong Kong
- https://chuanyang-zheng.github.io/
Popular repositories Loading
-
Progressive-Hint
Progressive-Hint PublicThis is the official implementation of "Progressive-Hint Prompting Improves Reasoning in Large Language Models"
-
Lyra-theorem-prover
Lyra-theorem-prover PublicThe is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"
-
-
chuanyang-Zheng.github.io
chuanyang-Zheng.github.io PublicThis is an academic homepage templete
ASP.NET 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.