Gabriel Poesia gpoesia

• Belo Horizonte, Brazil
• gpoesia.com

Popular repositories Loading

1. An environment for learning formal mathematical reasoning from scratch

   Python 72 8

2. Learning Formal Mathematics from Intrinsic Motivation

   Rust 37 17

3. Certified Reasoning with Language Models

   Python 31 5

4. CS 224N Winter 2023 Default Final Project: Multitask BERT

   Python 26 55

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

   JavaScript 13 1

6. Math tutor based on question asking

   Python 10 3