JohnLyu2
Follow
Lists (1)
Stars
SGLang is a fast serving framework for large language models and vision language models.
rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission
Python module which allows you to specify timeouts when calling any existing function, and support for stoppable threads
MiniZero: An AlphaZero and MuZero Training Framework
A generic parser and tool package for the BTOR2 format.
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
🤖 Machine Learning Summer School Guide
Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
A Programming Project that I designed for a course. The project asks students to build a SAT solver in C++. Specifications, skeleton codes, and sample executable are provided!
Pytorch Implementation of DQN / DDQN / Prioritized replay/ noisy networks/ distributional values/ Rainbow/ hierarchical RL
Unofficial Implementation of the paper: StyleBank: An Explicit Representation for Neural Image Style Transfer
A python library to predict rankings how different software verification tools perform on one program.
Must-read Papers on Large Language Model (LLM) Planning.
pySMT: A library for SMT formulae manipulation and solving
💥 Fast State-of-the-Art Tokenizers optimized for Research and Production
A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
The simplest, fastest repository for training/finetuning medium-sized GPTs.
Tutorials on implementing a few sequence-to-sequence (seq2seq) models with PyTorch and TorchText.
A fast, generalized, and modified implementation of Deepmind's distinguished AlphaZero in PyTorch.
Program synthesis class taught by Loris D'Antoni
A powerful and flexible machine learning platform for drug discovery