Pinned Repositories
Artificial-Asset-Allocator
A machine learning model that uses a convolutional neural network as the policy function in a reinforcement learning scheme. Ultimately aims to solve the portfolio management problem.
circuit-breaker-experiments
Doing stuff with circuit broken models
CNN-pset
Curriculum on convolutional neural networks proposed to Harvard's CS50 group
cs181-s23-homeworks
Public homework assignments for Harvard's CS 181: Machine Learning (Spring 2023)
DafnyBench
I'm really gonna translate HumanEval this time. Y'all haven't seen nothing yet.
DafnyGithubScrape
Epic-ScratchX-ML-Extensions
Machine learning meets ScratchX! Unlocking the power of machine learning for young audiences. :)
media-emotimpact
Computationally predicting the emotional impact of media on viewers.
NeuroBlocks
Online version of Neural Block alpha demo project
snake_rl
Building a reinforcement learning algorithm to solve the snake game
ChloeL19's Repositories
ChloeL19/DafnyBench
I'm really gonna translate HumanEval this time. Y'all haven't seen nothing yet.
ChloeL19/DafnyGithubScrape
ChloeL19/circuit-breaker-experiments
Doing stuff with circuit broken models
ChloeL19/cs181-s23-homeworks
Public homework assignments for Harvard's CS 181: Machine Learning (Spring 2023)
ChloeL19/RLVF
Reinforcement Learning from Verifier Feedback in Coq
ChloeL19/snake_rl
Building a reinforcement learning algorithm to solve the snake game
ChloeL19/BabySynth
A bottom-up synthesizer for two very small target languages.
ChloeL19/CanGPTBuildAWebsite-
The answer is no it cannot, but saving the attempt here anyway
ChloeL19/circuit-breakers
Improving Alignment and Robustness with Circuit Breakers
ChloeL19/CS124_P3
3rd programming assignment for CS124
ChloeL19/CS_BootCamps_LandingPage
Landing page for CS bootcamps program
ChloeL19/dafny
Dafny is a verification-aware programming language
ChloeL19/DiffusionTutorial
How diffusion works, socratic style, hopefully half as good as how Callum McDougal describes stuff
ChloeL19/discovering_latent_knowledge
Just messing around.
ChloeL19/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)
ChloeL19/ImageBind
ChloeL19/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.
ChloeL19/llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
ChloeL19/open_spiel
OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.
ChloeL19/pacman-react
A Pac Man game, built with React, TypeScript, MobX, styled-components, and Xstate
ChloeL19/PacmanGym
Open AI Gym version of Berkeley AI Pacman with images as states
ChloeL19/PacmanWebappV01.0
For human testing of our noisy Pacman environment.
ChloeL19/Programming2_124
Strassen's for the win!
ChloeL19/RLforPacman
Testing github CoPilot and creating RL agent for Pacman.
ChloeL19/SlipperCartpole
Cartpole on ice
ChloeL19/SlipperyCartpole
A toolkit for developing and comparing reinforcement learning algorithms.
ChloeL19/sourcing_app
Building an app for sourcing
ChloeL19/tracr-synthesis
Final project for CS252R
ChloeL19/TransformerFromScratch
ChloeL19/WildDafny