chenxi-yang
Follow
Stars
Implement a ChatGPT-like LLM in PyTorch from scratch, step by step
An open collection of methodologies to help with successful training of large language models.
Awesome-LLM: a curated list of Large Language Model
DeepEverest: a system for efficient DNN interpretation.
A playbook for systematically maximizing the performance of deep learning models.
Orca: Towards Mastering Congestion Control In the Internet
A pytorch reprelication of the model-based reinforcement learning algorithm MBPO
Minimal package for operations on polytopes, zonotopes, and invariant sets.
This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets and paper categorization.
A certifiable defense against adversarial examples by training neural networks to be provably robust
Libaffa is a C++ Affine Arithmetic library for GNU/Linux. Affine Arithmetic is a model proposed by Stolfi and Comba in the early 90's for numerical calculation. Unlike Interval Arithmetic, it keeps…
An implementation of an algebraically closed interval system of the extended real number set
The largest collection of PyTorch image encoders / backbones. Including train, eval, inference, export scripts, and pretrained weights -- ResNet, ResNeXT, EfficientNet, NFNet, Vision Transformer (V…
A computer algebra system written in pure Python
A library for building abstract interpretation-based analyses
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Static Analyzer for LLVM bitcode based on Abstract Interpretation
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Python library for building embedded languages within Python that have alternative operational semantics and abstract interpretations.
WebAssembly specification, reference interpreter, and test suite.