Chuangyang Zheng

Progressive-Hint. This is the official implementation of "Progressive-Hint Prompting Improves Reasoning in Large Language Models"

DAPE. The this is the official implementation of "DAPE: Data-Adaptive Positional Encoding for Length Extrapolation"

Lyra-theorem-prover. The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"

scNovel. Jupyter Notebook

SA-Softmax. This is the official implementation of Self-Adjust Softmax

Algoformer. This is the official implementation of "AlgoFormer: An Efficient Transformer Framework with Algorithmic Structures"

chuanyang-Zheng.github.io. This is an academic homepage templete