A — Things to Memorize (Master Merge)
A single merged study sheet consolidating the "things to memorize" appendix from every cheat sheet in this knowledge base (36 files). Each source's list is preserved under its topic; paper links are kept intact.
Compiled August 2026. Organized into six thematic parts; a synthesized cross-cutting summary is up top. Source section titles vary ("Things to Know", "Equations to Memorize", "Numbers Worth Memorizing", "…You Must Own Cold") but all serve the same role.
Contents
- Cross-Cutting Principles
- Part I — LLMs: Architecture, Tokenization & Efficiency
- Attention
- Transformer / xFormer Catalogue
- KV Cache
- Mixture-of-Experts (MoE)
- Tokenization & Context (v1)
- Tokenization & Context (v2)
- Quantization
- Pruning
- Distillation
- Parameter-Efficient Fine-Tuning (PEFT)
- Scaling Laws
- Part II — LLMs: Training, Reasoning, RL & Agents
- Foundation Models
- Reasoning Technologies
- RL Training Strategies & Recipes
- Policy Optimization
- Reward Functions
- Agentic Intelligence
- Prompt · Context · Harness · Graph Engineering & Self-Improving AI
- Test-Time & Training-Free Optimization
- Part III — Data & Evaluation
- Data Collection & Curation
- Metrics & Evaluations
- Part IV — Generative Models: Diffusion, Video, 3D & World
- Diffusion Models
- Diffusion — Derivations
- Video Generation
- 3D & Multi-View Generation
- World Models
- Part V — Neural Rendering & 3D Reconstruction
- NeRF
- Gaussian Splatting
- Neural Rendering
- Structure from Motion
- Delighting & Relighting
- Photorealistic Avatars
- Part VI — Core Vision, Robotics & Autonomy
- Computer Vision — Principal Deep Dive
- Computer Vision — Principal Math
- Vision-Language-Action (VLA) Models
- Autonomous Driving
Cross-Cutting Principles (read these first)
Fifteen ideas that recur across every sheet — the compression of the compression.
- Scaling is lawful, and there are now two axes. Pretraining follows Chinchilla-style compute-optimal token/parameter balance; since 2024, test-time compute (search, longer thinking) is a co-equal scaling axis that can beat parameter scaling at matched FLOPs.
- Attention is the bottleneck, and the stack that fixed it is settled. \(O(n^2)\) memory → FlashAttention (exact, IO-aware) + GQA/MLA (KV-cache) + RoPE is the default modern backbone.
- Context is a finite budget, not a free window. Retrieve just-in-time, compact, and isolate sub-agents; bigger windows ≠ solved (Context Rot, Lost-in-the-Middle).
- The harness often beats the checkpoint. Same weights, different loop/tools/skills → large capability delta; Agent Skills are the composable capability layer.
- Improvement is verifier-bounded. Self-consistency, best-of-\(N\), RLVR, self-play, and recursive self-improvement only go as far as their checker/signal is correct — this is the single most repeated caveat in the corpus.
- Diffusion converged on flow matching. $arepsilon$-prediction ↔︎ score; classifier-free guidance is the workhorse; distill to 1–4 steps for deployment.
- 3DGS overtook NeRF for most new reconstruction (real-time, explicit), but they share the volume-rendering core; feed-forward pose/geometry (VGGT/π³) is the 2025–26 shift.
- Compress by composing quantization + pruning + distillation. Outliers are the enemy — rotation/SmoothQuant-style fixes; FP8/FP4 and 2:4 sparsity are production-real.
- Alignment math is a small family. The RLHF optimum is a KL-tilted reference; DPO removes the reward model; GRPO removes the value net; RL from verifiable rewards powers reasoning models.
- Self-improvement has three failure modes. Reward hacking (Goodhart), model collapse (recursive self-generated data), and the intrinsic self-correction gap (LLMs can't reliably self-correct reasoning without external feedback).
- Reasoning models internalize long CoT. Budget the thinking; don't hand-scaffold it. Process rewards beat outcome rewards for verifier-guided search.
- Reach for training-free levers first. Decoding contrasts, activation steering, model merging (task arithmetic), and speculative decoding change behavior/speed with no training run.
- Adapt at test time when the distribution shifts. Entropy-minimization TTA (guard against class collapse), self-supervised inner-loop TTT, per-task LoRA; TTT-layers make the hidden state itself a learner.
- Everything is converging on multimodal world models as the substrate — native multimodal + long-context video, with VLA policies for robotics and autonomous driving.
- Evaluation is the hard part. Contamination, saturation, and LLM-as-judge caveats mean benchmarks lag true capability — trust verifiable/held-out signals over leaderboard deltas.
Part I — LLMs: Architecture, Tokenization & Efficiency
Attention
Merged from "Twenty Things to Memorize" — Attention_SOTA_Updated.md.
- Scaled dot-product equation and the \(\sqrt{d_k}\) argument.
- Stable softmax (subtract row-max).
- Online softmax recurrence (FlashAttention).
- RoPE rotation matrix and its relative-position invariance proof.
- ALiBi linear bias formula.
- KV-cache bytes-per-token formula: \(2 \cdot L\, H\, d_h\) bytes.
- GQA vs MQA vs MLA trade-offs.
- Paged KV cache: virtual memory analogy.
- Sliding window + sink token rationale.
- Linear attention kernel-trick reformulation.
- FlashAttention I/O complexity argument.
- Ring attention's P-step rotation.
- Swin shifted-window mechanism.
- Deformable attention sampling formula.
- U-Net cross-attention for SD; MM-DiT joint attention for SD3.
- ToMe-SD bipartite merging.
- Self-attention guidance (SAG) and PAG formulas.
- Prompt-to-Prompt cross-attn manipulation patterns.
- Speculative decoding accept/reject probability.
- adaLN-zero conditioning for DiT blocks.
Transformer / xFormer Catalogue
Merged from "Pictures Worth Memorizing" — XFormer_Catalogue_SOTA_Updated.md.
For each, you should be able to draw the architecture cleanly on a whiteboard:
- Original Transformer (encoder-decoder).
- BERT block (pre-norm vs post-norm).
- GPT block (causal mask).
- T5 (encoder + decoder with cross-attn).
- ViT (patch + CLS + Transformer).
- Swin (hierarchical + shifted window).
- DETR (encoder + object-query decoder + Hungarian matching).
- Mask2Former (universal mask predictor).
- CLIP (dual encoder + InfoNCE).
- BLIP-2 (frozen image \(\to\) Q-Former \(\to\) frozen LLM).
- LLaVA (CLIP \(\to\) MLP \(\to\) LLM).
- Flamingo (gated cross-attn into frozen LLM).
- Chameleon (interleaved tokens, single AR Transformer).
- DiT (adaLN-Zero on noised tokens).
- MM-DiT (two streams + joint attention).
- Mixtral / Mixture-of-Experts block (router + top-k experts).
- Mamba (selective SSM + parallel scan).
- Perceiver (latent array \(\to\) cross-attn \(\to\) refine).
- RT-2 / OpenVLA (VLM + action token vocab).
- \(\pi_0\) (VLM + flow-matching action head).
KV Cache
Merged from "Twenty-Five Things to Know" — KV_Cache_SOTA_Updated.md.
- KV bytes/token formula: \(2 \cdot L \cdot H_{kv} \cdot d_h \cdot\) bytes dtype.
- Llama-3-70B GQA-8 in FP16: 320 KB/token.
- DeepSeek-V3 MLA: \(\sim 70\) KB/token (\(14\times\) smaller than equivalent MHA).
- Prefill is FLOP-bound; decode is bandwidth-bound.
- GQA-8 is the 2024 standard; MLA is the 2025–26 frontier.
- MLA absorbs up-projections into \(W_Q\), \(W_O\) at inference.
- Decoupled RoPE: split each head into RoPE + non-RoPE components.
- KV quantization: per-channel for \(K\), per-token for \(V\) (KIVI).
- INT4 KV typically loses 1–2% quality; INT2 loses 5–10%.
- FP8 (E5M2) for KV; FP8 (E4M3) for forward.
- PagedAttention block size: 16 tokens default.
- Automatic prefix caching: hash blocks; reuse on match.
- SGLang RadixAttention: prefix tree of cached blocks.
- Sliding window + sinks (StreamingLLM) for unbounded streaming.
- Sinks (\(k \sim 4\)) prevent softmax-redistribution collapse.
- H2O eviction: keep heavy hitters + recent.
- SnapKV: prefill-time importance pooling.
- Pyramid KV: deeper layers retain fewer tokens.
- FastV: drop vision tokens after layer \(K\) in VLMs.
- Quest: query-aware KV block retrieval.
- Continuous batching: per-token, not per-request.
- DistServe / Mooncake: disaggregated prefill / decode.
- Anthropic prompt cache: 90% discount on cached prefix.
- Tree attention (Medusa/EAGLE) needs CoW paged KV.
- Mamba / RWKV / RetNet replace KV with constant-size state.
Mixture-of-Experts (MoE)
Merged from "Twenty-Five Things to Know" — MoE_SOTA_Updated.md.
- Total vs active params: always cite both.
- Top-k routing: k = 1 Switch, k = 2 standard, k = 8 DeepSeek fine-grained.
- Switch's load-balance loss: \(\alpha N \sum f_i p_i\).
- Router z-loss for stability.
- Capacity factor \(\sim 1.25\) training, \(\sim 2\) inference.
- DeepSeek's auxiliary-loss-free trick: per-expert bias \(b_i\).
- Fine-grained experts + shared experts (DeepSeekMoE).
- Sparse upcycling: dense \(\to\) MoE cheaply.
- Branch-Train-MiX: independent training \(\to\) assemble.
- Soft MoE for vision: no hard routing, no token drop.
- Expert Choice routing: experts pick tokens.
- Hash MoE: fixed routing baseline.
- EP all-to-all: dispatch + combine per layer.
- Composing EP × TP × PP × DP.
- MegaBlocks block-sparse GEMM kernels.
- Tutel adaptive parallelism.
- Continuous batching with per-token expert dispatch.
- ktransformers for consumer-hardware MoE.
- DeepSeek-V3: 671B / 37B / FP8 / MTP / MLA.
- Mixtral 8×7B as the open MoE that broke through.
- Llama 4 brought MoE into the Llama line.
- MoE wins at fixed active params; dense wins at fixed memory.
- Routing collapse fix: aux loss + z-loss + capacity.
- Mixture-of-Depths: sparse over depth, not width.
- Shared expert pattern: 1–2 always-on for common knowledge.
Tokenization & Context (v1)
Merged from "Twenty-Five Things to Memorize" — Tokenization_Context_SOTA_Updated.md.
- BPE merge algorithm; greedy frequency-based merges.
- WordPiece score formula: \(\mathrm{count}(ab)/(\mathrm{count}(a)\,\mathrm{count}(b))\).
- Unigram LM training via EM for SentencePiece.
- Byte-level BPE: no UNK ever.
- ChatML and Llama 3 chat template structure.
- Number tokenization: digit-split via regex (Llama 3, GPT-4o).
- Multilingual tokenizer fairness problem.
- ViT patch embedding: \(W_p\) as a stride-\(p\) conv.
- Class token vs average pooling for ViT classification.
- Pixel unshuffle for \(r^2\) token compression in VLMs.
- LLaVA-NeXT AnyRes tiling pattern.
- Native dynamic resolution + 2D-RoPE (Qwen2-VL).
- Register tokens for absorbing high-norm artifacts.
- VQ-VAE training loss with commitment term.
- LFQ: \(q = \mathrm{sgn}(z)\), no codebook, vocab \(2^L\).
- FSQ: per-dim rounding to a small set, no entropy reg.
- Causal 3D VAE for video: \((T/4)\,(H/8)\,(W/8)\) compression.
- Position Interpolation: \(p \to p \cdot L_{\text{train}}/L_{\text{eval}}\).
- NTK-aware RoPE base scaling.
- YaRN's piecewise-by-frequency rescaling + temp adjust.
- Sliding window + sink tokens (StreamingLLM).
- Sequence packing with block-diagonal attention mask.
- Loss masking in SFT: -100 on user / system positions.
- Prefix caching / Anthropic prompt cache cost model.
- RAG vs long-context trade-off framework.
Tokenization & Context (v2)
Merged from "Twenty-Five Things to Memorize" — Tokenization_Context_SOTA_Updated_v2.md.
- BPE merge algorithm; greedy frequency-based merges.
- WordPiece score formula: \(\text{count}(ab)/(\text{count}(a)\,\text{count}(b))\).
- Unigram LM training via EM for SentencePiece.
- Byte-level BPE: no UNK ever.
- ChatML and Llama 3 chat template structure.
- Number tokenization: digit-split via regex (Llama 3, GPT-4o).
- Multilingual tokenizer fairness problem.
- ViT patch embedding: \(W_p\) as a stride-\(p\) conv.
- Class token vs average pooling for ViT classification.
- Pixel unshuffle for \(r^2\) token compression in VLMs.
- LLaVA-NeXT AnyRes tiling pattern.
- Native dynamic resolution + 2D-RoPE (Qwen2-VL).
- Register tokens for absorbing high-norm artifacts.
- VQ-VAE training loss with commitment term.
- LFQ: \(q = \text{sgn}(z)\), no codebook, vocab \(2^L\).
- FSQ: per-dim rounding to a small set, no entropy reg.
- Causal 3D VAE for video: \((T/4)\cdot(H/8)\cdot(W/8)\) compression.
- Position Interpolation: \(p \to p \cdot L_{\text{train}}/L_{\text{eval}}\).
- NTK-aware RoPE base scaling.
- YaRN's piecewise-by-frequency rescaling + temp adjust.
- Sliding window + sink tokens (StreamingLLM).
- Sequence packing with block-diagonal attention mask.
- Loss masking in SFT: \(-100\) on user / system positions.
- Prefix caching / Anthropic prompt cache cost model.
- RAG vs long-context trade-off framework.
Quantization
Merged from "Twenty-Five Things to Know" — Quantization_SOTA_Updated.md.
- Affine quant: \(\hat{x} = s \cdot \operatorname{round}((x - z)/s) + z.\)
- Symmetric vs asymmetric (\(z = 0\) vs not).
- Granularity: per-tensor / per-channel / per-token / per-block.
- BF16 has same range as FP32 (8 exp bits).
- FP8: E4M3 forward, E5M2 backward.
- FP4 (E2M1) on Blackwell at 2× FP8 throughput.
- Microscaling (MXFP4, MXFP6): per-block FP standard.
- GPTQ: Hessian-based per-column quantization with update.
- AWQ: salient-channel scaling formula.
- SmoothQuant: migrate scale from activations to weights.
- QuaRot: orthogonal rotation spreads outliers.
- LLM.int8(): outlier channels in FP16, rest INT8.
- KIVI: per-channel K, per-token V.
- NF4: 4-bit format for normal-distributed weights.
- GGUF K-quants: per-layer adaptive precision.
- QLoRA: NF4 base + BF16 LoRA adapters.
- Marlin / Machete: fast W4 GEMM kernels.
- DeepSeek-V3 FP8 recipe: per-block + double-quant + custom kernels.
- BitNet b1.58: ternary weights; matches BF16 at > 3B with retraining.
- PTQ vs QAT: post-training cheap vs aware-training quality.
- STE: gradient passes through round.
- SVDQuant: low-rank residual + INT4 for FLUX.
- Per-expert calibration for MoE quantization.
- ktransformers: GGUF Q4 + offload for 671B on workstation.
- Quantization × distillation × sparsity = compounding gains.
Pruning
Merged from "Twenty-Five Things to Know" — Pruning_SOTA_Updated.md.
- Three pruning targets: parameters / Gaussians / tokens.
- Magnitude pruning: prune \(|w| < \tau\); surprisingly competitive baseline.
- Lottery Ticket Hypothesis: sparse subnets in dense networks.
- IMP: prune → reset → retrain.
- Movement pruning: \(\text{sign}(w \cdot \nabla L) \cdot |w|\).
- Pruning-at-init (SNIP / GraSP / SynFlow).
- Random pruning is a strong baseline.
- 2:4 N:M sparsity: hardware-supported on H100 / Blackwell, 2× matmul.
- SparseGPT: layer-wise OBS with Hessian.
- Wanda: \(|w| \cdot \|x\|\); cheap activation-aware.
- ShortGPT: layer pruning via Block Importance.
- SliceGPT: orthogonal slicing of hidden dims.
- LLM-Pruner: structured channel pruning.
- Pruning + LoRA recovery: standard recipe.
- 3DGS density control: clone / split / prune / opacity reset.
- LightGaussian: importance-based pruning + INT8 + SH distill.
- CompGS: codebook compression for 3DGS.
- ToMe (Bolya & Hoffman): bipartite soft-matching merge.
- ToMeSD: ToMe in SD U-Net.
- DynamicViT: learned per-token importance.
- FastV: drop vision tokens after layer 2–4 in VLM.
- H2O: heavy hitters + recent for KV eviction.
- SnapKV: prefill-time importance pooling.
- Pyramid KV: deeper layers retain fewer tokens.
- StreamingLLM: sinks + sliding window for unbounded streaming.
Distillation
Merged from "Twenty-Five Things to Know" — Distillation_SOTA_Updated.md.
- Hinton's KD loss with \(\tau^2\) scaling.
- Forward KL: mass-covering; reverse KL: mode-seeking.
- Sequence KD (teacher argmax) often as good as token-level.
- GKD: on-policy distillation; samples from student.
- FitNets: feature-level distillation with projection.
- Attention transfer: match attention maps.
- RKD: relational (pairwise distances + angles).
- DeiT distillation token: special token for teacher signal.
- DINO/DINOv2: self-distillation as SSL with EMA + sharpening + centering.
- Mean Teacher: EMA-of-student as semi-supervised target.
- EMA in diffusion: required for sample fidelity.
- DistilBERT loss: MLM + KL + cosine.
- TinyBERT two-stage: general distill then task distill.
- MiniLM: distill last-layer attention only.
- Phi family: distillation via synthetic textbook data.
- Open-instruction pattern: filter teacher data + SFT smaller model.
- R1-Distill series: long-CoT traces → smaller student.
- Distill cold-start enables small-model GRPO.
- Progressive distillation: halve steps each round.
- Consistency Models: predict \(x_0\) from any \(t\).
- DMD2: one-step diffusion via score matching + GAN.
- LCM / Hyper-SD / DMD2 / Lightning are the standard SDXL/FLUX few-step distills.
- Sparse upcycling: dense → MoE via expert replication.
- Constitutional distillation: critique + revise + train.
- Cascades + distillation: 70–90% cost reduction.
Parameter-Efficient Fine-Tuning (PEFT)
Merged from "Twenty-Five Things to Know" — PEFT_SOTA_Updated.md.
- LoRA: \(W' = W + \alpha \cdot BA/r\); \(A\) Gaussian, \(B\) zero.
- Standard rank: 8–64 for LLM SFT; 16–128 for diffusion.
- LoRA matches full FT at ≥7B for many tasks at 1/100–1/1000 params.
- QLoRA: NF4 base + BF16 LoRA + paged optimizer + double quant.
- Unsloth: 2–5× QLoRA training speedup.
- DoRA: magnitude + direction decomposition; closer to full FT than LoRA.
- rsLoRA: \(\alpha/\sqrt{r}\) scaling; better at high rank.
- ReLoRA: iteratively merge + re-init for higher effective rank.
- OFT / BOFT: orthogonal rotation; preserves spectrum.
- VeRA: shared A, B across layers; even fewer params.
- LoHa, LoKr: Hadamard / Kronecker decompositions.
- IA3: per-feature scaling vectors; tiny param count.
- BitFit: train only biases.
- Adapters (Houlsby / Pfeiffer): bottleneck modules.
- Soft prompts: learnable embedding tokens prepended.
- Prefix tuning: per-layer learnable KV prefixes.
- LoRA target modules: attention (Q,K,V,O) + MLP (up, down).
- For DPO: LoRA + ref = base (no memory doubling).
- For RL (GRPO): cold-start SFT-LoRA → RL-LoRA.
- Multi-LoRA serving: vLLM / S-LoRA / LoRAX.
- LoRA stacking: \(W + \sum_i \alpha_i B_i A_i\).
- LoCon / LoHa / LoKr / DoRA in LyCORIS for diffusion.
- LoRA + FSDP / DeepSpeed ZeRO for multi-GPU PEFT.
- Layer-importance / AdaLoRA for adaptive rank allocation.
- Don't use PEFT for: massive shift, vocab change, very long continual.
Scaling Laws
Merged from "Twenty-Five Things to Know" — Scaling_Laws_SOTA_Updated.md.
- Scaling laws are empirical power laws: \(L = A X^{-\alpha} + L_\infty\).
- Kaplan (2020): scale params faster than data; \(\alpha_N = 0.076\).
- Kaplan was wrong; Chinchilla (2022) corrected.
- Chinchilla rule: 20 tokens per parameter at compute-optimal.
- \(C \approx 6ND\) for Transformer training.
- Chinchilla loss: \(L = E + A/N^{\alpha} + B/D^{\beta}\).
- \(\alpha \approx 0.34\), \(\beta \approx 0.28\), \(E \approx 1.69\).
- Llama 3 8B: 15T tokens / 8B = 1875; over-trained.
- Inference-aware scaling shifts smaller \(N\), more \(D\).
- Snell et al.: 14× smaller model with optimal test-time compute matches larger.
- Best-of-\(N\): \(\mathbb{E}[\max] \approx \mu + \sigma \sqrt{2 \ln N}\).
- MoE: \(L\) scales with \(N_{\mathrm{active}}\) at fixed data.
- Optimal MoE sparsity: \(N_{\mathrm{total}}/N_{\mathrm{active}} \in [10, 30]\).
- DeepSeek-V3: 671B total / 37B active / 14T tokens.
- ViT-22B: parallel attn+MLP, QK-LN, no biases.
- DiT scaling: power-law in FID with model + compute.
- Distillation: ~0.1×–1× pretraining compute of student.
- Born-Again students often beat teacher.
- FineWeb-Edu evidence: data quality ~5–10× more efficient.
- Repeated data: ~0.6× effective per epoch; 4 epochs cap.
- µP: width-aware parameterization for HP transfer.
- Schaeffer: emergent abilities may be metric artifact.
- Hardware utilization: typically 40–55% of peak.
- Inference cost often > 10× training cost over model lifetime.
- Multi-axis scaling: pretrain + post-train + inference all matter.
Part II — LLMs: Training, Reasoning, RL & Agents
Foundation Models
Merged from "Names to Recognize on Sight" — Foundation_Models_SOTA_Updated.md.
If an interviewer says these, you should know exactly what they refer to:
- CLIP / SigLIP / DINOv3: vision encoders.
- SAM 2: promptable segmentation.
- Grounding DINO: open-vocab detection.
- DUSt3R / MASt3R / VGGT: feed-forward 3D.
- 3DGS / 3D Gaussian Splatting: scene rep.
- MAE / V-JEPA: SSL recipes.
- LLaVA / InternVL / Qwen-VL: open VLMs.
- GPT-4o / Gemini 2.5 / Claude Opus: closed VLMs.
- Chameleon / Show-o / Emu3: native multimodal.
- SDXL / SD3 / FLUX: image diffusion.
- MM-DiT: image diffusion architecture.
- Sora / Veo 3 / Kling 2 / Hunyuan Video / Wan 2.1: video gen.
- MovieGen: joint video + audio.
- LRM / GS-LRM / MeshLRM: feed-forward 3D.
- Trellis / Hunyuan3D-2: native 3D generation.
- π0 / OpenVLA / GR00T / Helix: VLAs.
- GAIA / Cosmos / Genie 2: world models.
- Whisper: ASR.
- Stable Audio / MusicGen / Suno: audio gen.
- Codec Avatars / EMO / Live Portrait: avatars.
- R1 / VLM-R1 / Vision-R1: reasoning models.
- ControlNet / IP-Adapter: conditioning.
Reasoning Technologies
Merged from "Twenty-Five Things to Memorize" — Reasoning_Technologies_SOTA_Updated.md.
- Zero-shot CoT trigger: "Let's think step by step."
- Few-shot CoT exemplar pattern.
- Self-consistency: \(K\) samples + majority vote.
- Tree-of-Thought: branch + evaluate + search.
- Best-of-\(N\) scaling: \(\mathbb{E}[\max] \approx \mu + \sigma\sqrt{2\ln N}\).
- PRM training: per-step binary cross-entropy.
- Math-Shepherd auto-labeling rule.
- Implicit PRM via DPO closed-form.
- GRPO advantage: group-relative z-score.
- GRPO clipped per-token objective.
- Verifiable-reward composition (format + accuracy + length + lang).
- R1 4-stage training pipeline.
- R1-Zero pure-RL emergence.
- Snell et al. inference-time scaling: \(14\times\) smaller w/ TT compute.
- ReAct loop pattern.
- Reflexion episodic memory.
- PAL: code as reasoning trace.
- AlphaGeometry / AlphaProof = LLM + symbolic + search.
- rStar two-LM MCTS pattern.
- Multi-Agent Debate convergence.
- Visible vs hidden CoT trade-offs.
- Faithfulness gap warning.
- Self-consistency as uncertainty estimator.
- Pareto-optimal compute allocation by difficulty.
- Distill long-CoT traces to bootstrap small models.
RL Training Strategies & Recipes
Merged from "Twenty Things a Senior RL Engineer Should Just Know" — RL_Training_Strategies_Recipes_CheatSheet_with_Links.md.
- Adam \(\epsilon = 10^{-5}\) for RL.
- Reward normalization by std, not mean.
- Observation normalization is necessary for MuJoCo.
- GAE with \(\lambda = 0.95\).
- KL anchor is non-negotiable in RLHF.
- Length normalize RM data.
- Use ensembles of RMs.
- Filter trivial-pass prompts in GRPO.
- Dr. GRPO removes length bias.
- DPO needs only 1 epoch.
- DPO LR is much smaller than SFT LR.
- For diffusion DPO, \(\beta \sim 1000\), not 0.1.
- Sample-and-read your policy outputs every checkpoint.
- Privileged-to-vision distillation closes most sim-to-real gaps.
- Eureka can design rewards better than humans.
- Vectorized envs first; distributed only when GPU saturated.
- LoRA + frozen base saves \(2\times\) memory in DPO/GRPO.
- Pre-compute reference log-probs once per epoch.
- AlpacaEval 2 + Arena-Hard correlate well with human prefs.
- The held-out human eval is the only ground truth.
Policy Optimization
Merged from "Twenty-Five Equations to Memorize" — Policy_Optimization_SOTA_Updated.md.
- Policy gradient theorem in advantage form.
- GAE recurrence.
- REINFORCE update with baseline.
- TRPO trust-region constraint.
- PPO clipped surrogate.
- DPG theorem.
- DDPG critic loss with target networks.
- TD3 clipped double-Q + target smoothing.
- SAC max-entropy objective and soft Bellman.
- SAC's auto-tuned \(\alpha\) loss.
- DQN Bellman target with target network.
- Distributional Bellman update.
- Decision Transformer conditioning on returns-to-go.
- Bradley-Terry RM loss.
- KL-regularized RLHF objective and closed-form \(\pi^*\).
- DPO loss derivation cancelling \(\log Z(x)\).
- IPO squared-margin loss.
- KTO prospect-utility loss.
- ORPO odds-ratio combined SFT+pref.
- SimPO length-normalized loss.
- GRPO group-relative advantage.
- GRPO per-token clipped objective.
- RLOO leave-one-out advantage.
- Diffusion-DPO surrogate.
- Asymmetric A-C distillation \(\mathcal{L}_{\mathrm{distill}}\).
Reward Functions
Merged from "Twenty-Five Key Equations and Patterns" — Reward_Functions_SOTA_Updated.md.
- Discounted return \(G_t = \sum \gamma^k r_{t+k+1}\).
- Potential-based shaping invariance: \(F = \gamma\Phi(s') - \Phi(s)\).
- HER relabeling: replace goal with achieved.
- Bradley-Terry preference probability.
- BT reward-model loss.
- Plackett-Luce listwise probability.
- PRM step-level binary loss.
- Math-Shepherd auto-labeling rule.
- Implicit PRM via DPO closed form.
- Verifiable math reward template.
- Verifiable code test-pass fraction.
- Format reward via regex.
- Detection IoU reward.
- Dice / Mask IoU.
- CIDEr / CLIP-Score / VQAScore composition.
- Locomotion composite reward template.
- AMP / DeepMimic Gaussian-error mimic reward.
- Eureka loop steps.
- Constrained MDP with Lagrangian update.
- ICM curiosity error in feature space.
- RND novelty error.
- NovelD differential novelty.
- KL-anchored RLHF objective.
- Reward overoptimization curve \(a\sqrt{\text{KL}} - b\, \text{KL}\).
- Length-normalized RM regression.
Agentic Intelligence
Merged from "Twenty-Five Things to Know" — Agentic_Intelligence_SOTA_Updated.md.
- ReAct loop: Thought \(\to\) Action \(\to\) Observation.
- Plan-and-Execute beats pure ReAct on long horizons.
- Reflexion: episodic reflection in memory.
- Tool description quality > tool implementation quality (model uses what it understands).
- JSON schema: prefer enums, shallow nesting, required fields.
- Always sandbox code execution; never assume safety.
- Treat tool outputs as untrusted (prompt injection defense).
- MCP standardizes tool discovery + invocation.
- Set-of-Mark prompting improves GUI click accuracy dramatically.
- Anthropic prompt caching: up to 90% cost savings on prefix.
- Continuous batching: per-token, not per-request, kernel batching.
- Re-rank with cross-encoder after vector retrieval.
- HyDE often beats raw question embedding for retrieval.
- GraphRAG wins for multi-hop on structured knowledge.
- Multi-agent only when single agent demonstrably worse.
- LangGraph for stateful production agents.
- DSPy for declarative, optimization-driven flows.
- Voyager skill library + auto-curriculum for open-ended learning.
- Always log per-step traces; replay-able trajectories.
- Doom loops: detect N-step repetition; back off / replan.
- Model routing: cheap-first cascade saves \(\sim 70\%\) cost.
- OSWorld / WebArena / SWE-bench for cross-domain agent eval.
- Human-in-loop for irreversible / high-stakes actions.
- CLAUDE.md / AGENTS.md for persistent project context.
- Don't use an agent when one well-prompted call suffices.
Prompt · Context · Harness · Graph Engineering & Self-Improving AI
Merged from "Thirty-One Things to Memorize" — Prompt_Context_Harness_Graph_Engineering_SOTA_Updated.md.
- The stack: prompt ⊂ context ⊂ harness, with graph cutting across and self-improvement wrapping all.
- Same model, different harness → large capability delta.
- Chain-of-Thought and Zero-shot CoT ("let's think step by step").
- Self-Consistency: majority vote over sampled chains; highest-ROI CoT add-on.
- Chain → Tree (ToT) → Graph (GoT) of thoughts.
- ReAct = reason + act + observe; the canonical agent loop.
- Don't over-prompt reasoning models — budget reasoning, don't scaffold it.
- Test-time compute: PRMs, compute-optimal scaling, DeepSeek-R1.
- Programmatic prompting: DSPy (signatures/compilers), TextGrad, ★ GEPA (reflection beats RL at fewer rollouts).
- ICL theory: induction heads, Bayesian inference, implicit GD; label correctness matters less than format/distribution.
- Instruction hierarchy + spotlighting; indirect prompt injection is the top agent risk.
- Context engineering = managing the whole dynamic window as a finite budget.
- Lost in the Middle and ★ Context Rot: bigger window ≠ solved.
- ★ NoLiMa: literal needle-in-haystack overstates long-context reasoning.
- RAG: original, HyDE, hybrid + ColBERT rerank, ★ Contextual Retrieval.
- Adaptive RAG: Self-RAG, CRAG, FLARE.
- Agent memory: MemGPT, Mem0, ★ Zep/Graphiti temporal KG.
- Compaction, note-taking, JIT retrieval, sub-agent isolation for long horizons.
- Prompt compression: LLMLingua/-2; prompt caching for stable prefixes.
- Harness patterns (Anthropic): chaining, routing, parallelization, orchestrator-workers, evaluator-optimizer.
- MCP standardizes tools; CodeAct uses code as the action space.
- SWE-agent: the Agent-Computer Interface can matter more than the model.
- GraphRAG: Microsoft GraphRAG, LightRAG, HippoRAG, PathRAG.
- Optimizable agent graphs: ★ GPTSwarm, ★ AFlow; orchestration via LangGraph.
- Inference-time self-correction: Self-Refine, Reflexion, CRITIC.
- Caveat: LLMs can't self-correct reasoning without external feedback.
- Self-training: STaR, ReST-EM; self-reward: Self-Rewarding LMs, Constitutional AI.
- Self-play from zero: ★ Absolute Zero, ★ R-Zero; ★ TTRL.
- RSI: Gödel Machine (theory) → STOP, ADAS, ★ Darwin Gödel Machine, ★ AlphaEvolve, ★ SEAL.
- Every self-improvement loop is bounded by a verifier and a sandbox; beware model collapse and reward hacking.
- ★ Agent Skills: packaged procedural knowledge (
SKILL.md) via progressive disclosure; thedescriptionis the routing key; self-authored skill libraries (Voyager) are weight-free self-improvement.
Test-Time & Training-Free Optimization
Merged from "Twenty-Five Things to Memorize" — Test_Time_and_Training_Free_Optimization_SOTA_Updated.md.
- Two families: training-free inference vs test-time optimization/training.
- Three axes: what's optimized, what signal, parallel vs sequential compute.
- Decoding contrasts: CD, DoLa, CAD, CFG-LM all extrapolate along a log-prob difference.
- MBR: decode the consensus (max expected utility), not the mode.
- Steering: \(h\leftarrow h+\alpha v\) — the training-free dual of fine-tuning (RepE, CAA, ITI).
- Task vector \(\tau=\theta_{\text{ft}}-\theta_{\text{pre}}\); merge by \(\theta_0+\sum_i\lambda_i\tau_i\) (Task Arithmetic).
- TIES/DARE suppress merge interference (trim, elect-sign, drop-and-rescale).
- Speculative decoding is lossless: accept w.p. \(\min(1,p/q)\), resample residual \((p-q)_+\).
- Proof: \(\min(p,q)+(p-q)_+=p\) → emitted token \(\sim p\) exactly.
- Expected tokens per block \(=\tfrac{1-\alpha^{\gamma+1}}{1-\alpha}\) (EAGLE/Medusa).
- CFG: classifier-free guidance = implicit classifier \(\nabla\log p(y\mid x)=\nabla\log p(x\mid y)-\nabla\log p(x)\).
- Self-consistency error \(\le\exp(-2N(p-\tfrac12)^2)\); floored by correlated error.
- Best-of-\(N\) success \(=1-(1-p)^N\) with a perfect verifier; else verifier-bounded.
- PRM > ORM > majority vote, gap widens with \(N\) (Let's Verify).
- Math-Shepherd: step value = fraction of rollouts reaching the right answer.
- Compute-optimal test-time scaling is difficulty-dependent: sequential for easy, parallel for hard (Snell).
- Coverage power law \(-\log c(k)\approx a k^{-b}\) (Large Language Monkeys); selection saturates without a verifier.
- ★ s1 budget forcing: append "Wait" to extend thinking.
- ★ TTRL: RL at test time with a majority-vote pseudo-reward.
- ★ Diffusion test-time scaling = search over noises with a verifier (Ma et al.).
- TENT: minimize prediction entropy over BN affine params; risks class collapse.
- Collapse fix = diversity/mutual-info (SHOT), reliable selection + SAM (SAR), anchoring (CoTTA).
- TTT helps iff \(\langle\nabla\ell_m,\nabla\ell_s\rangle>0\) (SSL–main gradient alignment).
- ★ TTT layers: hidden state is a model; \(W_t=W_{t-1}-\eta\nabla\ell(W_{t-1};x_t)\) per token (linear attention is the no-gradient special case).
- ★ TPO: align at inference via textual gradients, zero weight updates — the training-free DPO.
Part III — Data & Evaluation
Data Collection & Curation
Merged from "Twenty-Five Things to Know" — Data_Collection_Curation_SOTA_Updated.md.
- Data quality dominates architecture for frontier models.
- Common Crawl is the foundation of nearly every LLM corpus.
- C4 / The Pile / RefinedWeb / Dolma / DCLM / FineWeb lineage.
- FineWeb-Edu: classifier-filtered > raw at small scale.
- DCLM-baseline: small classifier filter beats hand rules.
- Gopher heuristics for rule-based filtering.
- MinHash + LSH for near-duplicate dedup.
- SemDeDup for semantic dedup via embeddings.
- Re-captioning is critical for image / video training (Sora, FLUX, DALL-E 3).
- Phi-1: textbook synthetic data → small model wins.
- R1-Distill: 800k long-CoT traces transfer reasoning.
- Self-Instruct foundation for synthetic instructions.
- Constitutional AI generates safety data via critique-revise.
- Best-of-N rejection sampling (RAFT, RFT) cheap alternative to PPO.
- HH-RLHF, UltraFeedback, Nectar are the canonical open preference datasets.
- PRM800K, Math-Shepherd, OmegaPRM for process reward data.
- NuminaMath: 860k math reasoning problems.
- LAION-5B, COYO-700M, DataComp-1B, DFN-2B for image-text.
- OBELICS for interleaved multimodal.
- Open-X-Embodiment 1.4M trajectories for robot foundation.
- Tesla's data engine: deploy → failure detect → label → retrain.
- DoReMi for domain-mixture optimization.
- dolma / datatrove / NeMo Curator for production curation.
- WebDataset / Mosaic Streaming for training data loading.
- Per-license, per-jurisdiction compliance is now mandatory.
Metrics & Evaluations
Merged from "Twenty-Five Things to Know" — Metrics_Evaluations_SOTA_Updated.md.
- Eval is the moat at frontier; design carefully.
- Goodhart's law: every metric gets gamed.
- Wilson confidence interval for proportions.
- Pearson vs Spearman: linear vs rank.
- PSNR / SSIM / LPIPS hierarchy.
- FID formula: \(\|\mu_r - \mu_g\|^2 + \mathrm{tr}(\Sigma_r + \Sigma_g - 2(\Sigma_r\Sigma_g)^{1/2})\).
- COCO mAP averages over IoU 0.50–0.95.
- BLEU / ROUGE / METEOR mostly weak for modern LLM open-ended.
- LLM-as-judge biases: position, length, self-preference.
- Order-swap + multi-judge + CoT-then-rate mitigations.
- Chatbot Arena Elo is closest to ground truth for LLMs.
- Bradley-Terry preference probability.
- pass@k formula: \(1 - \prod(1 - p_i)\).
- Best-of-N expected: \(\mathbb{E}[\max] \approx \mu + \sigma\sqrt{2 \ln N}\).
- Reward overoptimization scaling: \(a\sqrt{\mathrm{KL}} - b\,\mathrm{KL}\).
- KL anchor + RM ensemble for hacking defense.
- LiveCodeBench / current AIME / HLE for contamination-resistance.
- N-gram overlap detection for contamination check.
- HELM, lm-eval-harness, Open LLM Leaderboard v2 are open standards.
- RULER for long-context (better than NIAH alone).
- VBench-2 16+ axes for video gen.
- VQAScore / GenEval / T2I-CompBench for compositional T2I.
- Per-task breakdown + per-segment slicing always.
- Calibration: ECE, reliability diagrams.
- Closed-loop downstream metric > human > judge > automatic.
Part IV — Generative Models: Diffusion, Video, 3D & World
Diffusion Models
Merged from "Twenty-Five Equations to Memorize" — Diffusion_Models_SOTA_Updated.md.
- Forward closed form \(\mathbf{x}_t = \sqrt{\bar\alpha_t}\,\mathbf{x}_0 + \sqrt{1-\bar\alpha_t}\,\boldsymbol\epsilon\).
- Reverse posterior mean \(\tilde\mu_t\).
- Simplified DDPM loss \(\|\boldsymbol\epsilon - \boldsymbol\epsilon_\theta\|^2\).
- Score-noise equivalence \(\boldsymbol\epsilon_\theta = -\sqrt{1-\bar\alpha_t}\,s_\theta\).
- Variance-preserving SDE.
- Probability flow ODE.
- DDIM update with \(\eta\to 0\).
- Cosine schedule formula.
- Karras EDM preconditioning (\(c_{\text{skip}}, c_{\text{out}}, c_{\text{in}}, c_{\text{noise}}\)).
- Min-SNR weight.
- CFG: \(\tilde{\boldsymbol\epsilon} = \boldsymbol\epsilon^\varnothing + w(\boldsymbol\epsilon^c - \boldsymbol\epsilon^\varnothing)\).
- Negative-prompt CFG.
- adaLN-Zero block (\(\alpha(c)\) on residual init zero).
- Latent diffusion loss in latent space.
- MM-DiT joint attention over \([Q_{\text{txt}}; Q_{\text{img}}]\).
- Conditional FM affine path: \(u_t = \mathbf{x}_1 - \mathbf{x}_0\).
- Rectified flow re-pairing concept.
- Consistency model loss.
- DMD score-distillation gradient.
- ControlNet zero-conv connection rationale.
- DreamBooth prior-preservation loss.
- LoRA decomposition \(W + BA\).
- SDS gradient \(w(t)(\boldsymbol\epsilon_\phi - \boldsymbol\epsilon)\,\partial\mathbf{x}/\partial\theta\).
- Diffusion-DPO loss with reference policy.
- FID formula.
Diffusion — Derivations
Merged from "One-Page Cheat Sheet" — Diffusion_Derivations_SOTA_Updated.md.
The Rosetta Stone. With \(\mathbf{x}_t=m_t\mathbf{x}_0+s_t\boldsymbol{\epsilon}\) and \(\boldsymbol{\epsilon}\sim\mathcal{N}(\mathbf{0},\mathbf{I})\):
\[\underbrace{\nabla_{\mathbf{x}_t}\log q_t(\mathbf{x}_t)}_{\text{score}} \approx -\frac{\boldsymbol{\epsilon}_\theta(\mathbf{x}_t,t)}{s_t} \iff \hat{\mathbf{x}}_0 = \frac{\mathbf{x}_t - s_t\boldsymbol{\epsilon}_\theta}{m_t} \iff v_\theta(\mathbf{x}_t,t) = \dot{m}_t\hat{\mathbf{x}}_0 + \dot{s}_t\boldsymbol{\epsilon}_\theta.\]
Loss families (all are \(\ell_2\) regressions).
| Loss | Target | Optimum equals |
|---|---|---|
| DDPM "simple" | \(\boldsymbol{\epsilon}\) | \(\mathbb{E}[\boldsymbol{\epsilon}\mid\mathbf{x}_t] = -s_t\nabla\log q_t(\mathbf{x}_t)\) |
| \(\mathbf{x}_0\)-prediction | \(\mathbf{x}_0\) | \(\mathbb{E}[\mathbf{x}_0\mid\mathbf{x}_t]\) (Tweedie) |
| v-prediction | \(\mathbf{v}=\alpha_t\boldsymbol{\epsilon}-\sigma_t\mathbf{x}_0\) (velocity along the ODE) | \(\mathbb{E}[\mathbf{v}\mid\mathbf{x}_t]\) |
| Rectified flow | \(\mathbf{x}_1-\mathbf{x}_0\) | \(\mathbb{E}[\mathbf{x}_1-\mathbf{x}_0\mid\mathbf{x}_t]\) |
| Flow matching (Gaussian) | \(u_t(\mathbf{x}\mid\mathbf{x}_1)\) from (34) | marginal \(u_t(\mathbf{x})\) |
Samplers.
| Sampler | Character |
|---|---|
| SDE reverse (26) | stochastic, slow, faithful |
| Probability-flow ODE (27) | deterministic, fast (DDIM, DPM-Solver) |
| Rectified flow + reflow | near-straight ODE, 1–2 Euler steps |
| Consistency model | single forward pass |
Equivalences worth remembering.
- DDPM training = denoising score matching at noise scale \(s_t=\sqrt{1-\bar{\alpha}_t}\).
- DDPM forward chain = Euler–Maruyama discretization of the VP-SDE.
- DDIM (\(\sigma=0\)) = first-order solver of the probability-flow ODE.
- Flow matching with \(\mu_t=\alpha_t\mathbf{x}_1\), \(\sigma_t\) linear = training a diffusion model up to weighting.
- Rectified flow = flow matching with the linear interpolant \(\mathbf{x}_t=(1-t)\mathbf{x}_0+t\mathbf{x}_1\).
- Classifier-free guidance = tempering \(\tilde{p}\propto p(\mathbf{x})\,p(y\mid\mathbf{x})^w\) implemented by mixing conditional/unconditional scores.
Video Generation
Merged from "Twenty-Five Things to Know" — Video_Generation_SOTA_Updated.md.
- Causal 3D VAE: \(T/4 \times H/8 \times W/8\) standard compression.
- Spatiotemporal MM-DiT: text + video joint self-attention.
- Joint image + video training: \(T = 1\) for images.
- 3D-RoPE on \((t, h, w)\) video tokens.
- Diffusion vs autoregressive for video: parallel quality vs indefinite horizon.
- Sora (Feb 2024): spacetime patches, "world simulator."
- Sora 2 (Sep 2025): + audio, longer clips, physics improvement.
- Veo 3 (May 2025): native audio + improved fidelity.
- Hunyuan Video (Tencent, 13B, open frontier).
- Wan 2.1 / 2.2 (Alibaba, 14B+, open).
- Mochi 1 (Genmo, 10B AsymmDiT, open Apache).
- LTX-Video (Lightricks, real-time on A100).
- Step-Video (StepFun, 30B, largest open).
- AnimateAnyone / MimicMotion: pose-driven character animation.
- EMO / Live Portrait / Audio2Photoreal: talking-head animation.
- ReferenceNet for identity preservation.
- Re-captioning of training data is critical.
- VBench / VBench-2: 16+ axis evaluation standard.
- FVD: Fréchet Video Distance via I3D / InternVideo.
- ControlNet for video (CogVideoX-Control, Wan-Control).
- LoRA per-style / per-character standard.
- Step distillation: 4–8 NFEs (LCM-Video, Hyper-Video, DMD2-Video).
- Block-cache / TGATE / PAB for inference speed.
- World-model framing: video gen + action conditioning.
- Open frontier (Wan, Hunyuan) closing gap with closed.
3D & Multi-View Generation
Merged from "Twenty-Five Things to Know" — 3D_MultiView_Generation_SOTA_Updated.md.
- Four paradigms: SDS / multi-view diffusion / feed-forward / native 3D.
- DreamFusion (2022): SDS gradient \(w(t)(\epsilon_\phi - \epsilon)\,\partial x/\partial\theta\).
- Janus problem: front-face replication; major SDS issue.
- ProlificDreamer (VSD): replaces noise target with learned distribution.
- Magic3D: two-stage NeRF \(\to\) mesh.
- MVDream / ImageDream: multi-view consistent diffusion.
- Zero123 / Zero123++: novel-view synthesis from single image.
- SV3D: video-diffusion approach to multi-view.
- LRM (Adobe): single image \(\to\) triplane via Transformer.
- InstantMesh / MeshLRM / GS-LRM / Long-LRM / TripoSR / CRM / SF3D / SPAR3D: LRM family.
- Native 3D diffusion (2025 wave): Trellis / Hunyuan3D-2 / CLAY / Direct3D.
- Trellis: structured sparse-voxel latent + flow matching.
- Hunyuan3D-2: native 3D + texture; open frontier.
- Mesh autoregressive: MeshGPT / MeshXL / MeshAnything / EdgeRunner / BPT.
- DUSt3R: pointmap from 2 images (camera 1 frame).
- MASt3R / MASt3R-SfM: + matching head + global SfM.
- VGGT (2025): dominant feed-forward 3D.
- π3: pose-free scaled VGGT successor.
- Plücker coordinates per pixel for camera conditioning.
- Cross-view attention + reference attention for multi-view consistency.
- DreamGaussian: multi-view + 3DGS optimization in ~1 min.
- LGM / Splatter Image: feed-forward Gaussians.
- Texture: SyncMVD / Paint3D / Hunyuan3D-2 joint.
- Objaverse / Objaverse-XL: 800k–10M+ 3D dataset.
- T3Bench / GPTEval3D / ULIP for 3D-text alignment evaluation.
World Models
Merged from "Twenty-Five Things to Know" — World_Models_SOTA_Updated.md.
- World model = generative model of environment dynamics conditioned on actions.
- Two threads: latent dynamics for control vs foundation video world models.
- Dyna-Q: original mix of model-based + model-free.
- PILCO: GP dynamics; sample-efficient on low-dim.
- PETS: NN ensembles + CEM planning.
- Dreamer V3: RSSM + symlog + two-hot; same hyperparameters across 150+ tasks.
- RSSM: deterministic GRU + stochastic latent.
- Symlog: \(\mathrm{sgn}(x)\log(|x| + 1)\) for cross-task robustness.
- TD-MPC2: latent dynamics + MPC; strong continuous control.
- IRIS: tokenizer + Transformer dynamics; Atari at low data.
- DIAMOND: diffusion world model (Atari, CS:GO).
- Sora: spacetime patches + DiT; OpenAI's "world simulator".
- Veo 3: + audio; closed.
- Cosmos: NVIDIA platform (Tokenizer / Predict / Transfer / Reason / Curator).
- GAIA-1/2: Wayve's AV world model.
- Genie 1/2: latent action discovery; playable worlds.
- Oasis: open real-time Minecraft world model.
- GameNGen: DOOM via diffusion at 20 fps.
- Causal 3D VAE for video tokenization.
- LFQ (MAGVIT-v2) for discrete video tokens.
- Latent action models discover actions from unlabeled video.
- Camera control via Plücker coordinates / extrinsics conditioning.
- Long-horizon: chunked AR + anchor frames.
- Physical commonsense is the open challenge; Cosmos Reason as evaluator.
- Closed-loop downstream success is the only bulletproof eval.
Part V — Neural Rendering & 3D Reconstruction
NeRF
Merged from "25 things every principal must know about NeRF" — NeRF_SOTA_Updated.md.
- NeRF is a continuous 5D function \(f_\theta(\mathbf{x}, \mathbf{d}) \to (\mathbf{c}, \sigma)\) with classical volume rendering.
- Discretized rendering: \(C = \sum_i T_i (1 - e^{-\sigma_i \delta_i})\, \mathbf{c}_i\).
- Vanilla NeRF uses sinusoidal positional encoding (\(L = 10\) for \(\mathbf{x}\), \(L = 4\) for \(\mathbf{d}\)).
- Hierarchical sampling (coarse + fine MLPs) was the original importance-sampling trick.
- Mip-NeRF replaces points with cones; Integrated PE anti-aliases naturally.
- Mip-NeRF 360 contraction maps unbounded scenes onto a finite ball; proposal MLP speeds up sampling.
- Zip-NeRF combines Mip-NeRF 360 with hash grids via multi-sample IPE; current quality SOTA.
- Instant-NGP uses a multiresolution hash grid and a tiny MLP; train in seconds.
- Plenoxels / DVGO show MLPs aren't strictly required for NeRF-quality NVS.
- TensoRF, k-Planes, tri-planes are tensor-factorized alternatives.
- NeuS / VolSDF / NeuralAngelo replace density with SDF for sharp surfaces; use eikonal loss.
- Ref-NeRF re-parameterizes view direction for accurate specularities.
- NeRO splits diffuse + specular with reflection direction; great for glossy.
- KiloNeRF / SNeRG / PlenOctrees / MERF bake fast renderers.
- BakedSDF converts to mesh + neural shader for mobile.
- D-NeRF / Nerfies / HyperNeRF / NSFF / K-Planes handle dynamic scenes.
- NeRF-W and Block-NeRF use per-image appearance embeddings for in-the-wild scenes.
- Block-NeRF / Mega-NeRF / BungeeNeRF scale to city / aerial.
- DreamFusion uses Score Distillation Sampling (SDS) on a frozen 2D diffusion model.
- EG3D uses tri-planes + StyleGAN super-resolver; foundational 3D-aware GAN.
- LRM / Zero-1-to-3 / Wonder3D / Trellis are feed-forward 3D generators.
- LERF distills CLIP features into a 3D field for open-vocabulary 3D queries.
- Instruct-NeRF2NeRF iteratively re-renders training views with InstructPix2Pix for editing.
- Production NeRF stack: Nerfstudio (Nerfacto + Zip-NeRF + NeuS / NeuralAngelo + LERF) + Instant-NGP for speed.
- In 2026, GS replaced NeRF for real-time NVS; NeRF still owns relighting, mesh extraction, generative 3D, and hybrid pipelines.
Gaussian Splatting
Merged from "25 things every principal must know about Gaussian Splatting" — Gaussian_Splatting_SOTA_Updated.md.
- 3DGS replaces NeRF's MLP+ray-march with explicit anisotropic Gaussians + tile rasterization.
- Each primitive stores \((\boldsymbol{\mu}, q, s, \alpha, \mathrm{SH})\); covariance is reconstructed \(\Sigma = R\,\mathrm{diag}(s)^2\,R^\top\).
- EWA splatting linearizes the perspective projection at \(\boldsymbol{\mu}_c\) to get \(\Sigma_{2D}\).
- Volume rendering equation is approximated as alpha compositing of 2D Gaussian footprints.
- Adaptive density control (clone, split, prune, opacity reset) is the key training trick.
- Vanilla 3DGS uses 1–3 M Gaussians for room-scale; 200–800 MB on disk.
- Mip-Splatting fixes scale-aliasing via 3D smoothing + 2D Mip filter.
- 2DGS replaces 3D ellipsoids with oriented disks; far better surfaces and meshes.
- Scaffold-GS / Octree-GS use voxel anchors + tiny MLP → compression and far-view extrapolation.
- Hierarchical 3DGS (Inria) gives LoD from city-scale to centimeter close-ups.
- Densification gradient threshold (\(\sim\!2\text{e-}4\)) and opacity reset every 3000 iters are load-bearing.
- Popping artifacts come from per-tile center-depth sort; StopThePop, GOF, exact pixel sort fix it.
- Compression: prune importance + SH distill + VQ + zstd → smaller, <0.5 dB drop.
- LightGaussian, SOG, EAGLES, RDO-Gaussian are the standard compression toolbox.
- 4DGS approaches: per-frame; canonical+deformation field; native 4D primitives (Spacetime Gaussians).
- Gaussian SLAM: SplaTAM, MonoGS, LoopSplat, Gaussian-SLAM all replace NeRF-SLAM.
- Generative 3D: feed-forward (LRM, Splatter Image, Trellis, Hunyuan3D-2) and SDS (DreamGaussian) both target GS now.
- Relightable GS: per-Gaussian BRDF + visibility (Relightable 3DG, GS-IR, GShader).
- PhysGaussian unifies rendering and simulation primitives via MPM.
- Avatars: FLAME / SMPL-X driven; GaussianAvatars, AnimatableGaussians, Codec Avatars 3D.
- AV simulation: StreetGaussians, OmniRe, NeuRAD — per-actor + per-scene splats.
- Production format:
.spz/.splat/ quantized.plywith bbox + LoD header. - gsplat (Nerfstudio) is the reference implementation; Inria's diff-gaussian-rasterization is the original.
- Benchmark numbers without compression / FPS / memory are misleading; always report all four.
- The frontier is foundation 3DGS + 4D world models + real-time on-device rendering.
Neural Rendering
Merged from "Twenty-Five Things to Know" — Neural_Rendering_SOTA_Updated.md.
- Volume rendering equation (Mildenhall NeRF): \(C(\mathbf{r}) = \int_{t_n}^{t_f} T(t)\,\sigma(\mathbf{r}(t))\,c(\mathbf{r}(t), \mathbf{d})\,\mathrm{d}t\).
- Discretization: \(\hat{C} = \sum T_i(1 - e^{-\sigma_i \delta_i})\,c_i\).
- Positional encoding: \(\gamma(p) = [\sin(2^k \pi p),\ \cos(2^k \pi p)]\).
- Hierarchical sampling (coarse + fine).
- Instant-NGP hash grid: trains in seconds.
- Mip-NeRF integrated PE for anti-aliasing.
- Mip-NeRF 360 scene contraction.
- 3DGS representation: \((\mu, R, S, \alpha, \text{SH})\) per Gaussian.
- 3DGS projection: \(\Sigma' = J W \Sigma W^\top J^\top\).
- 3DGS rasterization: alpha-composite front-to-back.
- 3DGS loss: \((1 - \lambda)\,L_1 + \lambda\,\text{D-[SSIM](https://ece.uwaterloo.ca/~z70wang/publications/ssim.html)}\).
- Adaptive density control: clone / split / prune / opacity reset.
- 3DGS variants: Mip-Splatting / 2D-GS / Scaffold-GS / 4D-GS / SuGaR / GS-IR / LightGaussian.
- DUSt3R pointmap formulation.
- VGGT: dominant feed-forward 3D in 2025.
- MoGe-2: metric monocular geometry.
- DreamFusion SDS gradient.
- ProlificDreamer VSD reduces Janus.
- Trellis / Hunyuan3D-2 native 3D diffusion (2025 wave).
- MeshGPT autoregressive mesh generation.
- EMO / Live Portrait audio-driven portrait.
- GS-SLAM family: MonoGS, GS-SLAM, SplaTAM.
- Cosmos: NVIDIA neural simulator.
- Nerfstudio + gsplat are the standard research frameworks.
- Eval: PSNR / SSIM / LPIPS for image; Chamfer for geometry.
Structure from Motion
Merged from "Twenty-Five Things to Know" — Structure_from_Motion_SOTA_Updated.md.
- Pinhole camera: \(\lambda x = K[R|t]X\).
- Brown-Conrady distortion (radial + tangential).
- Zhang's calibration: planar checkerboard from multiple views.
- Epipolar constraint: \(x_2^{\top} E x_1 = 0\).
- Essential matrix: \(E = [t]_\times R\), 5 DoF.
- Fundamental matrix: \(F = K_2^{-\top} E K_1^{-1}\), 7 DoF, rank-2.
- Eight-point algorithm with Hartley normalization.
- Five-point algorithm (Nistér): minimal calibrated case.
- DLT triangulation via SVD.
- PnP: P3P (4 candidates) or EPnP \(O(n)\).
- RANSAC iterations: \(N = \log(1 - p)/\log(1 - w^s)\).
- MAGSAC++: marginalize over noise scale.
- Reprojection error + Huber kernel + LM = bundle adjustment.
- Schur complement reduces BA to camera-only system.
- Ceres / g2o / GTSAM standard solvers.
- COLMAP: incremental SfM + PatchMatch MVS.
- HLoc: SuperPoint + SuperGlue / LightGlue + COLMAP.
- LightGlue is the production-default learned matcher (2024+).
- DUSt3R: predict pixel-aligned 3D pointmaps from 2 images.
- MASt3R-SfM: replaces COLMAP at \(\sim 100\times\) speedup.
- VGGT (Meta 2025): feed-forward N-image \(\to\) depth + cameras.
- Visual SLAM = online SfM with real-time constraints.
- ORB-SLAM3 / VINS-Fusion / OKVIS-2 are mature SLAM stacks.
- Loop closure: place recognition + geom verify + pose graph opt.
- NetVLAD / MixVPR / AnyLoc are place recognition standards.
Delighting & Relighting
Merged from "Twenty-Five Things to Know" — Delighting_Relighting_SOTA_Updated.md.
- Rendering equation (Kajiya 1986).
- BRDF properties: non-negative, reciprocity, energy conservation.
- Microfacet form: \(f_r = FGD / (4\cos\theta_i\cos\theta_o)\).
- GGX is the industry-standard \(D\).
- Schlick Fresnel: \(F = F_0 + (1 - F_0)(1 - \cos\theta)^5\).
- Disney Principled BRDF is the artist standard.
- PBR maps: albedo, normal, roughness, metallic, +AO.
- Intrinsic image: \(I = R \cdot S\) (reflectance × shading).
- Retinex: sharp log \(I\) edges = reflectance; smooth = shading.
- IIW + CGIntrinsics are the standard datasets.
- Photometric stereo (Woodham): \(\mathbf{I} = L \cdot (\rho\, \mathbf{n})\).
- Cross-polarized capture removes specular for clean albedo.
- Light stage = hundreds of LEDs + reflectance field.
- Reflectance field: relight is matrix-vector multiply in lighting basis.
- Spherical Harmonics for low-frequency env lighting (9 coefficients standard).
- Spherical Gaussians for higher-frequency / specular.
- Pre-filtered cubemap + split-sum for real-time IBL (UE4-style).
- Sun et al. (2019): single-image deep portrait relighting baseline.
- Total Relighting: foreground matting + relighting end-to-end.
- SwitchLight / IC-Light: 2024 diffusion-based relighting wave.
- Relightable 3D Gaussians / GS-IR: 3DGS + relighting.
- ARKit / ARCore env probes for mobile AR lighting.
- LED volumes (Stagecraft): real-time IBL on virtual production.
- Photogrammetry \(\to\) delight \(\to\) PBR maps (Quixel pattern).
- Diffusion gives plausible; physics gives correct (hybrid emerging).
Photorealistic Avatars
Merged from "Twenty-Five Things to Know" — Photorealistic_Avatars_SOTA_Updated.md.
- Five components: geometry / appearance / rig / driving / renderer.
- FLAME (face): 300+100+pose params.
- SMPL-X (body): 119 dims, 6890 vertices.
- Light stages capture full reflectance field.
- Codec Avatars: VAE + view-conditioned neural texture.
- Apple Persona: few-second enrollment + on-device inference.
- GaussianAvatars: 3DGS bound to FLAME mesh.
- FlashAvatar: 300+ fps 3DGS face.
- EMO: audio + reference image \(\to\) photoreal portrait video.
- Audio2Photoreal: audio + Codec Avatars-style full body.
- Live Portrait: image + driving video \(\to\) animated.
- AnimateAnyone: pose video drives static character via ReferenceNet.
- ReferenceNet: trainable U-Net copy + KV concatenation.
- InstantID / PhotoMaker / PuLID: face encoder + structure encoder for ID.
- ArcFace identity embedding for ID preservation loss.
- FACS (Action Units): facial expression decomposition.
- Marschner BCSDF for strand-based hair.
- LSE-D / LSE-C / SyncNet for lip-sync evaluation.
- NeRSemble dataset: multi-view facial.
- 4D-DRESS: clothed body 4D.
- Body Gaussians (GauHuman, HumanGaussian) for full body.
- LightGaussian for mobile / web deployment.
- Apple Vision Pro / Codec Avatars 3.0 are the production-grade telepresence apps.
- Trellis / Hunyuan3D-2 for stylized avatar generation.
- Watermarking (SynthID, C2PA) for synthetic-content provenance.
Part VI — Core Vision, Robotics & Autonomy
Computer Vision — Principal Deep Dive
Merged from "Appendix: Ten Derivations You Must Own Cold" — CV_Principal_DeepDive_SOTA_Updated.md.
- ELBO from Jensen \(\to\) VAE objective.
- ELBO \(\to\) DDPM simplified loss (the variance-cancelling step).
- DDPM noise prediction \(\Leftrightarrow\) score matching: \(\epsilon_\theta = -\sigma_t s_\theta\).
- DPO from KL-constrained RLHF: closed-form policy \(\to\) Bradley–Terry on log-ratios.
- Policy gradient theorem from \(J(\theta) = \sum_s d^\pi(s)\sum_a\pi(a\mid s)Q^\pi(s, a)\).
- PPO clipped surrogate \(\to\) trust-region intuition.
- GRPO advantage and why removing the value head reduces variance / cost.
- Flow matching from continuous normalizing flows: continuity equation and the conditional FM objective.
- Eckart–Young in two lines (SVD + orthogonal decomposition).
- NeRF discretization from the volume-rendering equation (alpha-compositing).
If you can do all ten without notes, you can survive any research-deep round at the principal level.
Computer Vision — Principal Math
Merged from "Numbers Worth Memorizing" — CV_Principal_Math_SOTA_Updated.md.
- ImageNet-1k: 1.28M train, 50k val, 1000 classes.
- COCO: 118k train, 5k val, 80 classes.
- LAION-5B: 5.85B image-text pairs (large public web scrape).
- LVIS: 1203 long-tail classes. Open Images V7: 9M images, 600 boxes classes.
- nuScenes: 1000 scenes, 6 cameras + LiDAR + radar; Waymo Open: \(\sim 2030\) scenes.
- Open-X-Embodiment: \(\sim 1.4\) M robot trajectories across 22 embodiments.
- Humanoid robots common DoF: H1 \(\sim 19\), G1 \(\sim 23\), Atlas \(\sim 28\).
- One H100 SXM: 989 TFLOPs BF16, 1979 TFLOPs FP8, 80 GB HBM3 (3 TB/s); B200: \(\sim 4500\) TFLOPs FP8, 192 GB HBM3e.
- Stable Diffusion 1.5: 860M U-Net + 123M text encoder + 84M VAE; SDXL: 2.6B U-Net.
- LLaVA-1.5-13B: ViT-L/14-336 (303M) + Vicuna-13B + 2-layer MLP projector.
- Diffusion default schedule: 1000 train steps; cosine; train EMA decay 0.9999.
- Adam defaults: \(\beta_1 = 0.9\), \(\beta_2 = 0.999\), \(\epsilon = 10^{-8}\); AdamW for LMs uses \(\beta_2 = 0.95\).
Vision-Language-Action (VLA) Models
Merged from "Twenty-Five Things to Know" — VLA_Models_SOTA_Updated.md.
- VLA = vision + language + action in single model.
- Recipe: pretrained VLM + action head + robot data.
- RT-1 (2022): discrete actions, 35M params, baseline.
- RT-2 (2023): VLM + action vocab; co-train with web data.
- RT-X / Open-X-Embodiment: 1.4M trajectories, 22 embodiments.
- OpenVLA: open RT-2 reference; Llama 2 + DINOv2 + SigLIP.
- Octo: smaller diffusion-policy open VLA.
- RDT-1B / RDT-2B: 1B/2B-param diffusion VLA.
- π0: PaliGemma + flow-matching action head.
- \(\pi_0\) FM loss: \(\left\| v_\theta - (a_1 - a_0) \right\|^2\).
- \(\pi_{0.5}\): hierarchical S2/S1 for long-horizon.
- GR00T: NVIDIA humanoid platform; Cosmos sim integration.
- Helix: Figure's S2/S1 split for on-board inference.
- PaLM-E: predates RT-2; embodied multimodal LM.
- Discrete action tokens: 256 bins per action dim.
- Diffusion Policy: multi-modal action chunks.
- Flow matching: π0's choice; few-step inference.
- ACT: action chunking transformer + CVAE.
- Temporal ensembling: average overlapping chunks.
- Spatial VLMs: SpatialVLM / SpatialBot / RoboPoint.
- Sim-to-real: DR + asymmetric A-C + privileged-to-vision distill.
- Cross-embodiment via OXE; positive transfer.
- LoRA per task / per embodiment, shared base.
- RL fine-tune via Q-chunking / residual / Diffusion DPO / GRPO.
- Edge: Jetson Thor + distillation + INT8.
Autonomous Driving
Merged from "Twenty-Five Things to Know" — Autonomous_Driving_SOTA_Updated.md.
- Levels of autonomy: L0 (none) to L5 (full).
- Sensor stack: camera + LiDAR + radar + IMU + GNSS.
- BEV (Bird's-Eye-View): unified top-down representation.
- LSS / BEVFormer / PETR for camera-only 3D detection.
- PointPillars / CenterPoint / SAFDNet for LiDAR.
- BEVFusion / TransFusion for sensor fusion.
- Occupancy networks (FB-OCC / SparseOcc) for general obstacles.
- MapTR / MapTRv2 for online HD mapping.
- Tracking-by-detection (ByteTrack) + Transformer trackers (TransTrack).
- Motion prediction: Wayformer / MTR++ / QCNet.
- Min-of-\(K\) loss for multi-modal trajectory prediction.
- UniAD (CVPR 2023) pioneered end-to-end joint training.
- VAD / Hydra-MDP / SparseDrive / DiffusionDrive: end-to-end variants.
- Tesla FSD v12+ is end-to-end neural, mostly imitation-learned.
- Wayve LINGO-2 / DriveVLM / Senna / EMMA: VLM-based driving.
- GAIA-1/2 / Cosmos / DriveDreamer: AV world models.
- StreetGaussians / EmerNeRF / OmniRe: neural AV simulators.
- RSS (Mobileye): formal safety framework.
- Tesla data-engine pattern: rare-event mining + auto-label.
- NVIDIA Thor 1000+ TOPS / Tesla HW4 / Mobileye EyeQ for on-vehicle compute.
- Waymo: sensor-rich modular; Tesla: vision-only end-to-end.
- Tesla mapless vs Waymo HD-map: opposing bets.
- Closed-loop sim (GAIA + Cosmos + Waymax): replaces some real testing.
- Foundation-model backbones (DINOv3 / SigLIP) increasingly in AV.
- Long-tail edge cases dominate L4 deployment effort.