Popular repositories Loading

1. ML-Assignments ML-Assignments Public archive

   Jupyter Notebook 1

2. ac-library-rs-parted ac-library-rs-parted Public

   Forked from qryxip/ac-library-rs-parted

   Partitioned ac-library-rs

   Rust

3. hcpl hcpl Public

   Forked from THE-NIO/hcpl

   Rust

4. math math Public

   Forked from hendrycks/math

   The MATH Dataset (NeurIPS 2021)

   Python

5. miniF2F miniF2F Public

   Forked from facebookresearch/miniF2F

   An updated version of miniF2F with lots of fixes and informal statements / solutions.

   Objective-C++

6. copra copra Public

   Forked from trishullab/copra

   COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.

   Python