Skip to content
View gpoesia's full-sized avatar
76 followers · 2 following
  • University of Michigan, Ann Arbor
  • Ann Arbor, MI

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report gpoesia

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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