yeonhee-ryou

prepacking

The source code of our work "Prepacking: A Simple Method for Fast Prefilling and Increased Throughput in Large Language Models"

sven

turbo-tv

Translation Validation for TurboFan

llama3

The official Meta Llama 3 GitHub site

SecurityEval

Repository for "SecurityEval Dataset: Mining Vulnerability Examples to Evaluate Machine Learning-Based Code Generation Techniques" published in MSR4P&S'22.

LLMSecEval

can-wikipedia-help-offline-rl

Official code for "Can Wikipedia Help Offline Reinforcement Learning?" by Machel Reid, Yutaro Yamada and Shixiang Shane Gu

litgpt

20+ high-performance LLMs with recipes to pretrain, finetune and deploy at scale.

Code-LMs

Guide to using pre-trained large language models of source code

scallop

Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229

cs524-program-analysis

LoRA

Code for loralib, an implementation of "LoRA: Low-Rank Adaptation of Large Language Models"

trl

Train transformer language models with reinforcement learning.

monitors4codegen

Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python intended to be used to build applications around language servers.

JUGE

junit tools contest infrastructure

DAFL

american fuzzy lop - a security-oriented fuzzer

LMFlow

An Extensible Toolkit for Finetuning and Inference of Large Foundation Models. Large Models for All.

npex

DAFL-artifact

github-classroom-utilties

A collection of scripts developed for teachers and TAs administrating GitHub Classroom assignments.

DirectML

DirectML is a high-performance, hardware-accelerated DirectX 12 library for machine learning. DirectML provides GPU acceleration for common machine learning tasks across a broad range of supported hardware and drivers, including all DirectX 12-capable GPUs from vendors such as AMD, Intel, NVIDIA, and Qualcomm.

Nice2Predict

Learning framework for program property prediction

dream

Tidy, feature-complete Web framework

bugscpp

A database of real-world C/C++ defaults to experiment in software engineering research

cs348-information-security

comprehensive-rust

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

code_contests

miniF2F

Formal to Formal Mathematics Benchmark

pyre-check

Performant type-checking for python.

bugfixer-testbench