Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
SMT 765 184
Running large language models on a single GPU for throughput-oriented scenarios.
Python 8k 441
An open platform for training, serving, and evaluating large languages. Release repo for Vicuna and FastChat-T5.
Python 18.4k 2k
Transformer related optimization, including BERT, GPT
C++ 3.1k 547
Seeing something unexpected? Take a look at the GitHub profile guide.
Ying1123
Follow
Ying1123
Follow
