This repo accompanies the paper "The Complexity Trap: Simple Observation Masking Is as Efficient as LLM Summarization for Agent Context Management" presented at the Fourth Deep Learning for Code (D…

SkyRL: A Modular Full-stack RL Library for LLMs

Pocket Flow: 100-line LLM framework. Let Agents build Agents!

Scientific computing in Lean 4

A PyTorch implementation of the Transformer model in "Attention is All You Need".

a categorical deep learning compiler

A library for easy and efficient manipulation of tensor networks.

The Python toolkit for computing with string diagrams.

A Library for Uncertainty Quantification.

Crosslingual Generalization through Multitask Finetuning

High-quality implementations of standard and SOTA methods on a variety of tasks.

Deep learning via category theory and functional programming

List of papers studying machine learning through the lens of category theory

List of resources for learning Category Theory

Machine Learning Interviews from FAANG, Snapchat, LinkedIn. I have offers from Snapchat, Coupang, Stitchfix etc. Blog: mlengineer.io.

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

papers of Per Martin Löf

A Type-1 Diabetes simulator implemented in Python for Reinforcement Learning purpose

LaTeX template for an Oxford University thesis