Combinatorial tricks to enumerate regular expressions in closed-form.

Efficient and general syntactical decoding for Large Language Models

The n-gram Language Model

Official JAX implementation of Learning to (Learn at Test Time): RNNs with Expressive Hidden States

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

Framework for testing concurrent data structures

Simplified Masked Diffusion Language Model

Fing about with BFF and Friends.

OCaml library for manipulating context-free grammars

Rust library for indexing and quickly searching large pretraining corpora

Automatic differentiation of Newton's algorithm and related methods

A Language with Dependent Data and Codata Types

JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

Fast package resolver written in Rust (CDCL based SAT solving)

🍎APPL: A Prompt Programming Language

A scalable abstraction learning library

Neurosymbolic Library

Diffusion on syntax trees for program synthesis

Code for "The Expressive Power of Low-Rank Adaptation".