Stars
🚀 Efficient implementations of state-of-the-art linear attention models
Accessible large language models via k-bit quantization for PyTorch.
A large collection of system log datasets for AI-driven log analytics [ISSRE'23]
A Flexible Framework for Experiencing Cutting-edge LLM Inference Optimizations
The Infibench variant of bigcode-evaluation-harness --- a framework for the evaluation of autoregressive code generation language models.
New repo collection for NVIDIA Cosmos: https://github.com/nvidia-cosmos
Embodied Agent Interface (EAI): Benchmarking LLMs for Embodied Decision Making (NeurIPS D&B 2024 Oral)
[ICLR 2024] Codes for COLEP: Certifiably Robust Learning-Reasoning Conformal Prediction via Probabilistic Circuits
a lighter, faster browser kernel of blink to integrate HTML UI in your app. 一个小巧、轻量的浏览器内核，用来取代wke和libcef
Leetcode solutions, code skeletons, and unit tests in Java (in progress)
DeepSeek Coder: Let the Code Write Itself
The evaluation framework for the InfiCoder-Eval benchmark.
MetaRoom Benchmark in VNN-COMP 2023
[NeurIPS 2022] Code for Certifying Some Distributional Fairness with Subpopulation Decomposition
[ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.
[NeurIPS 2022] ClimbQ: Class Imbalanced Quantization Enabling Robustness on Efficient Inferences
Travel marker created following「中国制霸生成器」by 卜卜口 (@itorr)
Code for Double Sampling Randomized Smoothing [ICML 2022]
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
CodeGen is a family of open-source model for program synthesis. Trained on TPU-v4. Competitive with OpenAI Codex.
[ICLR 2022] CROP: Certifying Robust Policies for Reinforcement Learning through Functional Smoothing
Keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets
[ICLR 2022] COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks