The Wayback Machine - https://web.archive.org/web/20230509045153/https://github.com/Ying1123

Ying1123

Follow

Ying Sheng Ying1123

Follow

Automated Reasoning, Formal Methods, Machine Learning. CS Ph.D @ Stanford.

294 followers · 49 following

Stanford University
https://sites.google.com/view/yingsheng

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Highlights

Pro

Organizations

Block or Report

Block or report Ying1123

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

cvc5/cvc5 Public

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

SMT 767 185
FMInference/FlexGen Public

Running large language models on a single GPU for throughput-oriented scenarios.

Python 8k 443
lm-sys/FastChat Public

An open platform for training, serving, and evaluating large languages. Release repo for Vicuna and FastChat-T5.

Python 18.9k 2.1k
NVIDIA/FasterTransformer Public

Transformer related optimization, including BERT, GPT

C++ 3.1k 553

872 contributions in the last year

Learn how we count contributions

Contribution activity

May 2023

Created 2 commits in 1 repository

lm-sys/FastChat 2 commits

Opened 2 pull requests in 1 repository

lm-sys/FastChat 2 merged

43 contributions in private repositories May 1 – May 9