Automated Lower Bounds for Bilinear Complexity over Finite Fields

A Quirky Assortment of CuTe Kernels

bi-directional reactive programming

Training LLMs to Report Their Learned Behaviors

A minimal Stable Fluids inspired fluid solver with Python and NumPy.

A website for interactively working with linear/cyclic permutations represented by PQ-/PC-trees

A Testing Framework for Lean

FlashAttention (Metal Port)

remora

In-browser LaTeX lab with live KaTeX preview, smart snippets, custom shortcuts, and crisp PNG export.

Puzzles for exploring transformers

This platform visualizes the makeup of ownership for residential buildings in San Francisco through capturing data, such as owner location, unit count, and network size.

Socratic dialogues between LLMs

ACL2 System and Books as Maintained by the Community

A Python function which generates LaTeX code for displaying the tape of a Turing machine

Code for the experiments conducted for the article "Intractability of Learning the Discrete Logarithm with Gradient-Based Methods"

An approach for embedding hierarhical structures into a continuous vector space using variational autoencoders.

Bridging deep learning and logical reasoning using a differentiable satisfiability solver.

Differentiable Forth Interpreter

SAT Solver SATCH

A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)

Streaming bar graphs. For stats and stuff.