Stars
Cutting-plane algorithm for exact cardinality-constrained regression
GPU accelerated Branch-and-Bound algorithm for differential cluster search of block ciphers
Fast solver for L1-type problems: Lasso, sparse Logisitic regression, Group Lasso, weighted Lasso, Multitask Lasso, etc.
This is a Chinese translation of the CUDA programming guide
Clarabel.cpp: C/C++ interface to the Clarabel Interior-point solver for convex conic optimisation problems.
Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.
RILS-ROLS: Robust Symbolic Regression via Iterated Local Search and Ordinary Least Squares
Calculate ordinary least squares estimates.
Class project, not meant to be used
An annotated implementation of the Transformer paper.
🚀 Awesome System for Machine Learning ⚡️ AI System Papers and Industry Practice. ⚡️ System for Machine Learning, LLM (Large Language Model), GenAI (Generative AI). 🍻 OSDI, NSDI, SIGCOMM, SoCC, MLSy…
Resources for few-shot reasoning tutorial
A curated collection of LLM reasoning and planning resources, including key papers, limitations, benchmarks, and additional learning materials.
Reasoning in LLMs: Papers and Resources, including Chain-of-Thought, OpenAI o1, and DeepSeek-R1 🍓
📄 🇨🇳 📃 论文阅读笔记（分布式系统、虚拟化、机器学习）Papers Notebook (Distributed System, Virtualization, Machine Learning)
Samples for CUDA Developers which demonstrates features in CUDA Toolkit
It shows how to build and optimize Decision Tree Classifier of "Diabetes dataset" using Python Scikit-learn package.
Open-source, state-of-the-art vehicle routing problem solver in an easy-to-use Python package.
A large scale non-linear optimization library
Repository contains implementation of Branch and Prive for classical General Assignment Problem problem using Python and Gurobi solver.
An Intuitive Tutorial to Gaussian Processes Regression