Research Hub — Index
Master catalog of all wiki pages. Updated on every ingest or /teach.
Sources
(No sources ingested yet. Drop a paper or blog into raw/ and ask me to ingest it.)
Concepts
Vision / multimodal
- moonvit — Native-resolution vision encoder from Kimi-VL; the canonical GNE architecture
- global-native-encoding — Paradigm for encoding full images at native resolution in one ViT pass
- navit-packing — Sequence packing strategy for variable-resolution image batching without padding
Reinforcement learning — foundations
- markov-decision-process — The formalism, returns, and the objective
- value-function — and , their Bellman equations, and the critic/baseline role
- advantage-function — ; the min-variance credit-assignment weight
- policy-gradient-theorem — The score-function trick;
- reinforce — Monte Carlo policy gradient as advantage-weighted MLE; ancestor of RLHF methods
- generalized-advantage-estimation — ; the bias-variance knob
- actor-critic — Joint actor + critic ; the RLHF value head
- ppo — The clipped surrogate trust region; the four-model RLHF setup
- trust-region — Bounding policy movement in KL space; TRPO vs PPO
- kl-regularization-rlhf — The leash against reward hacking
- reward-model — Learned Bradley-Terry preference scorer; the RLHF “environment”
- rlhf — The SFT → reward-model → PPO alignment pipeline
Reinforcement learning — SOTA (preference optimization & reasoning)
- dpo — Direct Preference Optimization: closed-form RLHF optimum as a supervised loss on preference pairs
- preference-optimization — Umbrella for the RL-free family (DPO/IPO/KTO/ORPO/SimPO/CPO)
- bradley-terry-model — Pairwise preference likelihood under both RM training and DPO
- grpo — Group Relative Policy Optimization: PPO with a critic-free Monte-Carlo group baseline
- rlvr — RL with Verifiable Rewards: a verifier as reward that dissolves overoptimization
- process-reward-model — PRM vs ORM: step-level vs outcome supervision
- chain-of-thought-rl — Emergent long CoT from outcome RL; test-time-compute scaling; o1/R1
- constitutional-ai — Anthropic’s two-phase (SL critique/revise + RLAIF) method
- rlaif — RL from AI feedback; LLM-as-judge as label source; RLAIF≈RLHF parity
- reward-overoptimization — Goodhart on a learned proxy; Gao et al. scaling laws
- best-of-n-sampling — BoN with analytic KL; RFT/ReST as amortization into the weights
- agentic-rl — Multi-turn RL: tool-use credit assignment, environments/verifiers
- rl-post-training-infra — Generation-vs-training split; disaggregated async actor-learner
GPU / ML systems
- cuda-execution-model — grid/block/warp/thread hierarchy and its mapping to SMs and lanes
- streaming-multiprocessor — the SM as the unit of scheduling and resource allocation
- warp-simt — warps of 32 in lockstep; divergence serialization and predication
- occupancy — active/max warps; register & SMEM limits; why 100% isn’t the goal
- tensor-core — MMA units, the precision ladder, the throughput gap over CUDA cores
- gemm — dense matmul: the canonical GPU workload and compute core of transformers
- gpu-memory-hierarchy — registers→SMEM→L2→HBM→host; capacity/latency/bandwidth
- memory-coalescing — combining a warp’s addresses into minimum memory transactions
- shared-memory-bank-conflicts — the 32-bank model, conflict serialization, padding fix
- memory-wall — compute scaling faster than bandwidth; the ridge point marching right
- arithmetic-intensity — FLOPs/byte; the memory- vs compute-bound lever
- roofline-model — attainable FLOP/s vs intensity; ridge point; kernel classification
- mfu — Model FLOPs Utilization vs HFU; the rule; typical ranges
- mixed-precision-training — FP32/TF32/FP16/BF16/FP8; master weights, loss scaling
GPU / ML systems — kernels
- shared-memory-tiling — staging operand tiles in SMEM to cut GEMM HBM traffic
- register-blocking — TM×TN outer-product micro-tiles; the biggest GEMM-ladder jump
- kernel-fusion — folding op chains into one kernel to eliminate HBM round-trips
- flash-attention — IO-aware tiled attention; O(N²)→O(N) HBM; the FA-1→4 lineage
- online-softmax — single-pass softmax with running max/denominator + rescale
- io-aware-algorithms — designing around HBM traffic; FLOPs cheap, bytes expensive
- recomputation — activation checkpointing; trade FLOPs for memory
- triton — block-level GPU language/compiler; MLIR lowering to PTX
- torch-compile — TorchDynamo/AOTAutograd/TorchInductor; auto Triton codegen
- kernel-autotuning — empirical selection of block sizes / num_warps / num_stages
Entities
- moonshot-ai — Chinese AI lab; made Kimi-VL and MoonViT
Topics
- rl-for-llms — RL for frontier LLMs: a progressive curriculum (foundations → SOTA)
- gpu-systems-for-llms — GPU/ML systems: architecture → kernels → distributed training → inference
Learn
Interactive Obsidian learning guides — dependency maps, quizzes, practice problems, reading orders.
- moonvit — MoonViT: native-res encoding, NaViT packing, dual positional embeds, GNE vs SBE
RL for LLMs curriculum → rl-for-llms
- 01-mdps-and-the-rl-objective — MDPs, returns, value/advantage functions, the RL objective
- 02-policy-gradients — REINFORCE, policy gradient theorem, baselines
- 03-actor-critic-and-gae — critics, bias-variance, GAE
- 04-ppo — trust regions → clipped surrogate; the RLHF workhorse
- 05-rl-on-token-sequences — the LLM as a token-level MDP; per-token KL-to-reference
- 06-rlhf-pipeline — SFT → Bradley-Terry reward model → PPO; overoptimization
- 07-dpo-and-rl-free-preference-optimization — DPO derivation; IPO/KTO/ORPO/SimPO
- 08-scaling-rlhf-and-alternatives — RLAIF, Constitutional AI, reward hacking, Best-of-N
- 09-rl-for-reasoning — RLVR, GRPO, R1-style reasoning, PRM vs ORM
- 10-frontier-and-infra — async RL systems, agentic RL, open problems
GPU systems curriculum → gpu-systems-for-llms
- 01-gpu-architecture-and-simt — SMs, warps, SIMT, occupancy, tensor cores
- 02-gpu-memory-hierarchy — registers→SMEM→L2→HBM; coalescing, bank conflicts
- 03-performance-modeling-roofline — roofline, arithmetic intensity, MFU, precision
- 04-first-cuda-kernels — execution config, vector add, grid-stride, naive matmul
- 05-optimizing-gemm — coalescing → SMEM tiling → register blocking → ~cuBLAS
- 06-memory-wall-and-flashattention — fusion + FlashAttention (online softmax, IO-awareness)
- 07-triton-and-modern-kernels — Triton block model, autotuning, torch.compile