[NeurIPS 2024] KVQuant: Towards 10 Million Context Length LLM Inference with KV Cache Quantization

Prototype web app of Domingos' Tensor Flow language for AI.

A lightweight inference engine supporting speculative speculative decoding (SSD).

PyTorch native post-training library

(ICLR 2026) Optimas: Optimizing Compound AI Systems

An experiment in cross-platform rendering to OpenGL textures using Mojo as a shading language.

A small, fast, JavaScript-based JavaScript parser

modusGraph: a transactional, embedded database system for model-native apps

modus: a framework for building agentic flows powered by WebAssembly

ICRA2024 Paper List

Must-read papers on graph neural networks (GNN)

Cell2Sentence: Teaching Large Language Models the Language of Biology

Build, run, manage agentic software at scale.

Wrapper to use boto3 resources with the aiobotocore async backend

An implementation of Hoare and He's Unifying Theories of Programming in Isabelle

Isabelle LLVM Code Generator and Refinement

My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.

Isabelle/HOL proofs about the eChronos RTOS

A formal definition and verification of System F. To be extended to System Fc

Isabelle formalization of binary consensus

Learning Isabelle

Apple's Time Machine fuse read only file system

Official inference repo for FLUX.1 models

🐫 CAMEL: The first and the best multi-agent framework. Finding the Scaling Law of Agents. https://www.camel-ai.org