Popular repositories Loading

1. peano peano Public

   An environment for learning formal mathematical reasoning from scratch

   Python 72 9

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 5

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

   CS 224N Winter 2023 Default Final Project: Multitask BERT

   Python 27 56

5. loopye loopye Public

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

   JavaScript 13 1

6. socratic-tutor socratic-tutor Public

   Math tutor based on question asking

   Python 13 3