Chloe's repositories
DafnyBench
I'm really gonna translate HumanEval this time. Y'all haven't seen nothing yet.
cs181-s23-homeworks
Public homework assignments for Harvard's CS 181: Machine Learning (Spring 2023)
BabySynth
A bottom-up synthesizer for two very small target languages.
CanGPTBuildAWebsite-
The answer is no it cannot, but saving the attempt here anyway
circuit-breaker-experiments
Doing stuff with circuit broken models
circuit-breakers
Improving Alignment and Robustness with Circuit Breakers
CS_BootCamps_LandingPage
Landing page for CS bootcamps program
dafny
Dafny is a verification-aware programming language
DiffusionTutorial
How diffusion works, socratic style, hopefully half as good as how Callum McDougal describes stuff
discovering_latent_knowledge
Just messing around.
elk
Keeping language models honest by directly eliciting knowledge encoded in their activations. Building on "Discovering latent knowledge in language models without supervision" (Burns et al. 2022)
InvokeAI
This version of Stable Diffusion features a slick WebGUI, an interactive command-line script that combines text2img and img2img functionality in a "dream bot" style interface, and multiple features and other enhancements. For more info, see the website link below.
llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
open_spiel
OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.
pacman-react
A Pac Man game, built with React, TypeScript, MobX, styled-components, and Xstate
PacmanGym
Open AI Gym version of Berkeley AI Pacman with images as states
PacmanWebappV01.0
For human testing of our noisy Pacman environment.
Programming2_124
Strassen's for the win!
RLforPacman
Testing github CoPilot and creating RL agent for Pacman.
SlipperCartpole
Cartpole on ice
SlipperyCartpole
A toolkit for developing and comparing reinforcement learning algorithms.
sourcing_app
Building an app for sourcing
tracr-synthesis
Final project for CS252R