Lianmin Zheng's repositories
awesome-tensor-compilers
A list of awesome compiler projects and papers for tensor computation and deep learning.
Wolf-Killer
Werewolf, a board game
chain-of-thought-hub
Benchmarking large language models' complex reasoning ability with chain-of-thought prompting
instruct-eval
This repository contains code to quantitatively evaluate instruction-tuned models such as Alpaca and Flan-T5 on held-out tasks.
dtr-prototype
Dynamic Tensor Rematerialization prototype (modified PyTorch) and simulator. Paper: https://arxiv.org/abs/2006.09616
tensorflow
An Open Source Machine Learning Framework for Everyone
transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
Megatron-DeepSpeed
Ongoing research training transformer language models at scale, including: BERT & GPT-2
merrymercy
Config files for my GitHub profile.
merrymercy.github.io
personal website
r1cs-tutorial
Tutorial for writing constraints in the `arkworks` framework
ray-scalable-ml-design
Some microbenchmarks and design docs before commencement