Pinned Repositories
aria-test
decal-pr-practice
Dummy repo to practice making a pull request for lab b9.
FastChat
An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.
metalift
A program synthesis framework for verified lifting applications
minigrid
gametime
metalift
A program synthesis framework for verified lifting applications
ml-marketplace
tenspiler
minigrid
Final Project for COMPSCI 285 - Deep Reinforcement Learning, Decision Making, and Control (Fall 23)
colinc9's Repositories
colinc9/aria-test
colinc9/decal-pr-practice
Dummy repo to practice making a pull request for lab b9.
colinc9/FastChat
An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.
colinc9/metalift
A program synthesis framework for verified lifting applications
colinc9/minigrid