Popular repositories Loading

1. peano peano Public

   An environment for learning formal mathematical reasoning from scratch

   Python 53 5

2. certified-reasoning certified-reasoning Public

   Certified Reasoning with Language Models

   Python 27 3

3. minbert-default-final-project minbert-default-final-project Public

   CS 224N Winter 2023 Default Final Project: Multitask BERT

   Python 25 49

4. loopye loopye Public

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

   JavaScript 13 1

5. xclimf xclimf Public

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

   C++ 9 2

6. minimo minimo Public

   Learning Formal Mathematics from Intrinsic Motivation

   Rust 9 7