Reframes model selection as data compression: the best hypothesis is the one that lets you describe the data in the fewest bits. Walks through MDL twice — once conceptually, once with full math — turning Occam's razor into a usable inference principle.
Condenses Stanford's CS 229 into one-page visual cheatsheets spanning supervised, unsupervised, and deep learning, plus probability and linear-algebra refreshers. Available in 10+ languages, with all topics merged into one Super VIP PDF.
PyTorch library for operator learning: neural networks that map between whole function spaces, not fixed grids, so a model trained at one resolution runs at any other. Bundles FNO, Tensorized FNO and related architectures, mainly for solving PDEs.
Benchmark dataset of ~8.5k grade-school math word problems with step-by-step solutions and calculator annotations for evaluating multi-step arithmetic reasoning in language models. Provided in two configs (main and socratic) and commonly used for chain-of-thought prompting, fine-tuning, and verifier training.
Builds a single rigorous theory from one question: why some bit strings look random. Defines plain and prefix complexity, the incompressibility method, and Martin-Löf randomness, tying information content to whether a short program can reproduce a string.
Reaches 51.7% on the competition-level MATH benchmark with a 7B model and no tools or voting, rivaling Gemini-Ultra and GPT-4. Built on a 120B-token math corpus mined from Common Crawl, and introduces GRPO, a memory-efficient PPO variant for reasoning.
A mixed instruction dataset for SFT and RLHF research that combines chat, math, code and instruction-following samples from multiple public datasets under an Apache-2.0-compatible license; intended for instruction tuning and evaluation.
Large-scale mathematical reasoning dataset of model-generated solution trajectories produced with and without Python Tool-Integrated Reasoning (TIR), with final answers verified against reference solutions. Contains ~3.64M JSONL training samples (~144 GB) and per-source CC-BY / CC-BY-SA licensing; intended for training and evaluating tool-augmented mathematical reasoning in LLMs.
An open, intuition-first textbook that teaches the maths, computing, and practical foundations needed for AI engineering. Organized into focused chapters (vectors, matrices, calculus, ML, NLP, CV, GPU/Inference, ML systems) with code-first explanations and interview-ready emphasis.
A 228,557-example dataset of reasoning traces segmented into blocks with iterative, compressed "memento" summaries so LLMs can learn to manage long context. Includes a training-ready subset and a `full` subset with sentence/block-level annotations for research and SFT.
Provides 1,000,000 model-generated chain-of-thought traces and instruction–response pairs for fine-tuning and distilled supervision. Focused splits (coding, PHD-Science, General-Math, MultilingualSTEM), ~5B tokens, Apache-2.0 license.
Provides 1,003,589 full chain-of-thought reasoning traces and final answers generated by GLM-5.1, split into main/Math/PHD-Science/Multilingual-STEM subsets. Useful for instruction-tuning, supervised fine-tuning, and reasoning experiments; released under Apache-2.0.