Tile primitives for speedy kernels

Verification framework and tool for higher-order Scala programs

Research code artifacts for Code World Model (CWM) including inference tools, reproducibility, and documentation.

The official sources for the RDKit library

LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management

Locality Sensitive Hashing

Simple high-throughput inference library

An AI benchmark for creative, human-like problem solving using Sudoku variants

Environments for LLM Reinforcement Learning

Automatic solver for plane geometry problems.

Hierarchical Reasoning Model Official Release

gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI

verl: Volcano Engine Reinforcement Learning for LLMs

Democratizing Reinforcement Learning for LLMs

JuiceFS is a distributed POSIX file system built on top of Redis and S3.

SGLang is a fast serving framework for large language models and vision language models.

The official repo of MiniMax-Text-01 and MiniMax-VL-01, large-language-model & vision-language-model based on Linear Attention

Transformer related optimization, including BERT, GPT

Kolmogorov Arnold Networks

COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.

State-of-the-art bilingual open-sourced Math reasoning LLMs.

A very fast and expressive template engine.

A PyTorch Extension: Tools for easy mixed precision and distributed training in Pytorch

The math library of Lean 4

Measuring Massive Multitask Language Understanding | ICLR 2021

Data and tools for generating and inspecting OLMo pre-training data.