Popular repositories Loading

1. Progressive-Hint Progressive-Hint Public

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

   Python 203 14

2. DAPE DAPE Public

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

   Python 33

3. Lyra-theorem-prover Lyra-theorem-prover Public

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

   Python 13

4. scNovel scNovel Public

   Jupyter Notebook 4

5. chuanyang-Zheng.github.io chuanyang-Zheng.github.io Public

   This is an academic homepage templete

   ASP.NET 1

6. ONE ONE Public

   Forked from sambaranban/ONE

   Outlier Aware Network Embedding for Attributed Networks

   Python