Popular repositories Loading

1. peano peano Public

   An environment for learning formal mathematical reasoning from scratch

   Python 71 8

2. minimo minimo Public

   Learning Formal Mathematics from Intrinsic Motivation

   Rust 36 17

3. certified-reasoning certified-reasoning Public

   Certified Reasoning with Language Models

   Python 31 4

4. minbert-default-final-project minbert-default-final-project Public

   CS 224N Winter 2023 Default Final Project: Multitask BERT

   Python 25 55

5. loopye loopye Public

   A playful CS 101 course designed for children with a novel approach

   JavaScript 13 1

6. xclimf xclimf Public

   Implementation of the Extended Collaborative Less-is-more Filtering Algorithm

   C++ 9 2