Popular repositories Loading

1. NeqLIPS NeqLIPS Public

   NeqLIPS: a powerful Olympiad-level inequality prover

   Lean 21 1

2. DNNOpAcc DNNOpAcc Public

   Python 10 4

3. Nesy-Programming Nesy-Programming Public

   Python 8 3

4. Uncertainty-Alignment Uncertainty-Alignment Public

   Uncertainty Alignment for Regression Error Reduction

   Python 4

5. Stock-Model Stock-Model Public

   A model which try to predict the stock market in China.

   Python 3 2

6. Op-QA Op-QA Public

   Python 2