Stars
(Oral @ ICML 2025) CollabLLM: From Passive Responders to Active Collaborators
(NeurIPS 2024) AvaTaR: Optimizing LLM Agents for Tool Usage via Contrastive Reasoning
๐ Home Assistant User documentation
Re-implementation of the TASO compiler using equality saturation
GraphMETRO: Mitigating Complex Graph Distribution Shifts via Mixture of Aligned Experts (NeurIPS 2024)
(NeurIPS D&B 2024) STaRK: Benchmarking LLM Retrieval on Textual and Relational Knowledge Bases
A gently curated list of companies using verification formal methods in industry
Windows system utilities to maximize productivity
The simplest, fastest repository for training/finetuning medium-sized GPTs.
๐ Making Rust a first-class language and ecosystem for GPU shaders ๐ง
A curated list of practical guide resources of LLMs (LLMs Tree, Examples, Papers)
IDE style command line auto complete
The official implementation of the paper **Learning Concise and Descriptive Attributes for Visual Recognition**
Accompanying Repository for The Verification of a Distributed System Talk
Delve is a debugger for the Go programming language.
(ICML 2023) Discover and Cure: Concept-aware Mitigation of Spurious Correlation
An Extensible Toolkit for Finetuning and Inference of Large Foundation Models. Large Models for All.
Official Code of "Efficient Automatic Graph Learning via Design Relations" (GLFrontiers Workshop NeurIPS 2022)
Collective communications library with various primitives for multi-machine training.
Pytorch domain library for recommendation systems
็จๅบๅๅจๅฎถๅ้ฅญๆนๆณๆๅใProgrammer's guide about how to cook at home (Simplified Chinese only).
Discovering Invariant Rationales for Graph Neural Networks (ICLR 2022)
Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety anโฆ
Pluggable in-process caching engine to build and scale high performance services
Towards Multi-Grained Explainability for Graph Neural Networks (NeurIPS 2021) + Pytorch Implementation of GNN attribution methods