A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.

A theoretical and practical deep dive into Reinforcement Learning with Human Feedback and it’s applications in Large Language Models from scratch.

A collection of optimization problems in mathematics

Official JAX implementation of End-to-End Test-Time Training for Long Context

Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️

RISC-V XV6/Linux SoC, marchID: 0x2b

Structured data extraction and programmatic interaction with Lean 4.

Accompanying code for "Discovering State-of-the-art Reinforcement Algorithms" Nature publication

Decoupled Q-Chunking

Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity

Simplifying reinforcement learning for complex game environments

Website for Dynamic Programming TextBook

Jax Codebase for Evolutionary Strategies at the Hyperscale

Official Repository for QuantAgent

Learning Deep Representations of Data Distributions

DIY scanning tunneling microscope (STM)

Introduction to Machine Learning Systems

A partially latent flow matching model for the joint generation of a protein’s amino acid sequence and full atomistic structure, including both the backbone and side chain.

A concise text on quantum mechanics, intended for a general mathematical audience including CS, engineering, math, and physics undergrads, as well as anyone interested in a brief intro/overview of …

Biological sequence analysis for the modern age.