Gabriel Poesia

peano. An environment for learning formal mathematical reasoning from scratch

minimo. Learning Formal Mathematics from Intrinsic Motivation

certified-reasoning. Certified Reasoning with Language Models

minbert-default-final-project. CS 224N Winter 2023 Default Final Project: Multitask BERT

socratic-tutor. Math tutor based on question asking

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

mathcamps. HTML

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

eos. Framework for implementing context-sensitive compiler optimizations in LLVM

listrankmf. A ListRank-MF implementation: list-wise Learning to Rank for Collaborative Filtering

magicomplete. Continually adapting autocomplete system

leapr. Programmatic Representation Learning with Language Models

CodeEditor. A React Code Editor component based on Draft.js

humaneval. Starter code for implementing a React Web app for human evaluation

cogents. COntrollable GENeration of Text from Slices

rich-irt. Item Response Theory models with richer data (pre-trained item embeddings & more)