-
University of Washington - Seattle
Highlights
- Pro
Starred repositories
Anthropic's original performance take-home, now open for you to try!
torchcomms: a modern PyTorch communications API
Minimalistic large language model 3D-parallelism training
End-to-end Generative Optimization for AI Agents
Efficent platform for inference and serving local LLMs including an OpenAI compatible API server.
High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)
Printable (A4) overview of tactics in Lean 4 for beginners
Awesome resources on normalizing flows.
Exact Hamiltonian Monte Carlo Sampler for Binary Distributions
"Discontinuous Hamiltonian Monte Carlo for sampling discrete parameters" by Akihiko Nishimura, David Dunson, Jianfeng Lu
Implementation of https://srush.github.io/annotated-s4
Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.
An elegant adaptive importance sampling algorithms for simulations of multi-modal distributions (NeurIPS'20)
A framework to learn cross-lingual word embedding mappings
KErnel OPerationS, on CPUs and GPUs, with autodiff and without memory overflows
RustBoyAdvance-NG is a Nintendo™ Game Boy Advance emulator and debugger, written in the rust programming language.
Rust native ready-to-use NLP pipelines and transformer-based models (BERT, DistilBERT, GPT2,...)
💥 Fast State-of-the-Art Tokenizers optimized for Research and Production
Bayesian Modeling and Probabilistic Programming in Python
Lean 3's obsolete mathematical components library: please use mathlib4
A Julia package for disciplined convex programming
Hydra is a framework for elegantly configuring complex applications
BLEURT is a metric for Natural Language Generation based on transfer learning.