Pinned Repositories
certified-reasoning
Certified Reasoning with Language Models
eos
Framework for implementing context-sensitive compiler optimizations in LLVM
listrankmf
A ListRank-MF implementation: list-wise Learning to Rank for Collaborative Filtering
loopye
A playful CS 101 course designed for children with a novel approach
magicomplete
Continually adapting autocomplete system
minbert-default-final-project
CS 224N Winter 2023 Default Final Project: Multitask BERT
minimo
Learning Formal Mathematics from Intrinsic Motivation
peano
An environment for learning formal mathematical reasoning from scratch
socratic-tutor
Math tutor based on question asking
xclimf
Implementation of the Extended Collaborative Less-is-more Filtering Algorithm
gpoesia's Repositories
gpoesia/peano
An environment for learning formal mathematical reasoning from scratch
gpoesia/certified-reasoning
Certified Reasoning with Language Models
gpoesia/minbert-default-final-project
CS 224N Winter 2023 Default Final Project: Multitask BERT
gpoesia/loopye
A playful CS 101 course designed for children with a novel approach
gpoesia/minimo
Learning Formal Mathematics from Intrinsic Motivation
gpoesia/xclimf
Implementation of the Extended Collaborative Less-is-more Filtering Algorithm
gpoesia/eos
Framework for implementing context-sensitive compiler optimizations in LLVM
gpoesia/listrankmf
A ListRank-MF implementation: list-wise Learning to Rank for Collaborative Filtering
gpoesia/socratic-tutor
Math tutor based on question asking
gpoesia/magicomplete
Continually adapting autocomplete system
gpoesia/mathcamps
gpoesia/CodeEditor
A React Code Editor component based on Draft.js
gpoesia/humaneval
Starter code for implementing a React Web app for human evaluation
gpoesia/cogents
COntrollable GENeration of Text from Slices
gpoesia/rich-irt
Item Response Theory models with richer data (pre-trained item embeddings & more)
gpoesia/cs224n-project
Inside-out Code Autocompletion
gpoesia/autocomplete
A distributed auto-complete system with load balancing.
gpoesia/coffeeomatic
A Slack bot to arrange 1:1 coffee chats for a group
gpoesia/cretonne
Cretonne code generator
gpoesia/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
gpoesia/dateutil
Useful extensions to the standard Python datetime features
gpoesia/DeepCubeA-Abstractions
DeepCubeA + Abstraction Learning
gpoesia/guidejs
Tiny (< 1KB) JavaScript library for guiding users thorough your UI
gpoesia/icpc-team-photos
Script for putting team names and the ICPC logo on team photos.
gpoesia/saltfs
Salt Stack Filesystem
gpoesia/sendgrid-nodejs
SendGrid Node.js helper library
gpoesia/servo
The Servo Browser Engine
gpoesia/sketchy
A synthesizer of bit-manipulation programs
gpoesia/thriftpy
Pure python implementation of Apache Thrift.
gpoesia/variational-item-response-theory-public
A PyTorch implementation of "Variational Item Response Theory: Fast Accurate, and Expressive"